Torkel Franzén

Torkel Malte Oskar Franzén, född 1 april 1950 i Pajala församling, Norrbottens län, död 19 april 2006 i Maria Magdalena församling[1], Stockholm, var en svensk filosof, logiker och matematiker.

Han var verksam som lektor vid Luleå tekniska universitet[2] och även som skönlitterär översättare.[3][4]

Franzén disputerade 1987 vid Stockholms universitet med en avhandling om matematikens filosofi, Provability and Truth.[5] Han författade efter detta ett flertal böcker, inom såväl programmering som logik och filosofi.[4] På det filosofiska området verkade Franzén för att precisera den filosofiska innebörden av Kurt Gödels ofullständighetssats och gjorde sig, enligt Solomon Feferman, känd som en kritiker av vanformuleringar och felaktigt nyttjande av detsamma. Franzén har gjort en stor insats med sin analys av hur Turings (och senare Fefermans) konstruktioner med transfinita kompletteringar av ett axiomsystem egentligen fungerar.[6] Franzén blev internationellt uppmärksammad under sin sista tid och inbjuden att föreläsa på ett dussintal universitet världen över.[3][6]

Franzén gjorde sig därtill känd som en aktiv postare på usenetgruppen swnet, samt även på ett antal övriga internetgrupper såsom sci.logic, och sci.math.[2][5][7]

Franzén översatte till svenska bland annat verk av de engelskspråkiga science fiction-författarna Brian Aldiss, Jack Vance och Ursula K. LeGuin[3][8] men även exempelvis John Horton Conways Boken om tal (Book of Numbers) (2000)[9]. Under 1970-talet var han aktiv inom science fiction-fandom och flitig bidragsgivare till flera fanzines. John-Henri Holmberg anser att Franzén är en av de främsta som publicerats i svenska sf-fanzine.[3][10]

Torkel Franzén avled av cancer vid 56 års ålder.[7]

Bibliografi

  • Provability and Truth (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN 91-22-01158-7
  • Gödel’s Theorem. An Incomplete Guide to Its Use and Abuse (AK Peters, 2005) ISBN 1-56881-238-8
  • Logik med tillämpningar (Studentlitteratur, 2002) ISBN 91-44-02176-3
  • Java från grunden (2003)
  • Inexhaustibility: A Non-Exhaustive Treatment (A K Peters, 2004) ISBN 978-1568811741

Översättningar (urval)

Källor

  1. ^ Sveriges Dödbok 1901–2009, DVD-ROM, Version 5.00, Sveriges Släktforskarförbund (2010).
  2. ^ [a b] ”In Memory Of... (2006-2007)” (på engelska). American Mathematical Society, AMS. http://www.ams.org/ams/inmemory-2006-2007.html. Läst 13 juni 2009. 
  3. ^ [a b c d] Holmberg, John-Henri (20 april 2006). ”Torkel Franzén, 1950-2006”. Fanspan. http://fanspan.wordpress.com/2006/04/20/torkel-franzen-1950-2006/. Läst 8 april 2010. 
  4. ^ [a b] Libris-katalogen
  5. ^ [a b] Gadde, Erland (20 april 2006). ”Torkel Franzén är död” (diskussionsforum). swnet.media. Google. http://groups.google.com/group/swnet.media/browse_thread/thread/781895f850b3c44f. Läst 13 juni 2009. 
  6. ^ [a b] Feferman, Solomon (20 april 2006). ”Torkel Franzén” (på engelska) (diskussionsforum). FOM. Foundations of Mathematics, FOM. http://cs.nyu.edu/pipermail/fom/2006-April/010463.html. Läst 13 juni 2009. 
  7. ^ [a b] Gadde, Erland (20 april 2006). ”Torkel Franzén is dead” (på engelska) (diskussionsforum). sci.logic. Google. http://groups.google.com/group/sci.logic/browse_frm/thread/8deb70503c02d63e/36847f81050c349d. Läst 13 juni 2009. 
  8. ^ Silver, Steven H. (20 april 2006). ”SF Site News” (på engelska). SF Site. Arkiverad från originalet den 2 december 2008. https://web.archive.org/web/20081202185316/http://sfsite.com//columns/news0604.htm. Läst 13 juni 2009. 
  9. ^ http://libris.kb.se/bib/7275201
  10. ^ Franzén, Torkel (1999). ”FROTZ: AN ELECTRONIC ONESHOT”. Torkel Franzén. Arkiverad från originalet den 1 oktober 2007. https://web.archive.org/web/20071001011504/http://www.sm.luth.se/~torkel/eget/frotz.html. Läst 13 juni 2009. 

Externa länkar

Read other articles:

Ibas dari Edessa

Reruntuhan Kota Edessa, tempat Ibas menjadi uskup Ibas (meninggal 28 Oktober 457); bahasa Suryani: ܗܝܒܐ ܐܘܪܗܝܐ dilafalkan Ihiba atau Hiba) adalah seorang uskup di Edessa (435-457) yang lahir di Suriah.[1] Ia adalah juga pengajar pada sekolah teologi di Edessa (juga menjadi mentor Barsauma) dan menganut Nestorianisme pada awalnya.[1] Pada saat Ibas menjadi uskup di Edessa, perpecahan antara kalangan Chalcedonis, Monofisitis, dan Nestorian berpengaruh sampai ke Edessa....

 

Dunia Batas

Payung TeduhAlbum studio karya Payung TeduhDirilis2012Direkam2012GenrePop, Jazz, KeroncongDurasi40:13LabelIvy League MusicProduserMondo GascaroPayung Teduh Payung Teduh(2010)Payung Teduh2010 Dunia Batas(2012) Dunia Batas adalah sebuah album studio kedua karya Payung Teduh yang dirilis pada 1 April 2012[1] dengan label Ivy League Music yang merupakan sebuah label indie. Album ini dirilis dalam format CD yang kemudian pada 11 November 2014, pihak label mengumumkan link digital downl...

 

Список об'єктів Світової спадщини ЮНЕСКО у Панамі

В списку об'єктів Світової спадщини ЮНЕСКО у Панамі налічується 5 найменувань (станом на 2016 рік). № Зображення Назва Місцеположення Час створення Час внесення до списку № Критерії 1 Укріплення на карибському узбережжі Панами: Портобело, Сан-Лоренсо провінція Колон XVI сто...

Grain

Edible dry seed This article is about the seeds grown for food. For other uses, see Grain (disambiguation).This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Grain – news · newspapers · books · scholar · JSTOR (June 2022) (Learn how and when to remove this template message) Various food grains at a market in In...

 

Walker's Point Estate

Building complex 43°20′36″N 70°27′34″W / 43.3433°N 70.4594°W / 43.3433; -70.4594The Walker's Point estate Walker's Pointclass=notpageimage| Location in Maine The large central house (2007) Checkpoint on Ocean Avenue Walker's Point Estate (or the Bush compound) is the summer retreat of the Bush family, in the town of Kennebunkport, Maine. It lies along the Atlantic Ocean in the northeastern United States, on Walker's Point. The estate served as the Summer Wh...

 

Padrón Real

Mapamundi de Diego Ribero (1529), copia del Padrón Real El Padrón Real (después del 2 de agosto de 1527 conocido como Padrón General[1]​) era el principal mapa español, oficial y secreto, que era utilizado como modelo para los mapas y cartas náuticas presentes en todos los barcos españoles durante el siglo XVI.[2]​[3]​ Su realización y mantenimiento se hacía en Sevilla por la Casa de la Contratación de Indias. Los pilotos de los barcos españoles estaban oblig...

علي حاتم السليمان

علي حاتم السليمان معلومات شخصية الميلاد 9 يونيو 1971 (العمر 52 سنة)بغداد الإقامة ألانبار أسماء أخرى أمير عشائر دليم في الأنبار نشأ في الانبار الديانة مسلم سني سلفي الحياة العملية المهنة معارض سياسي اللغة الأم العربية سبب الشهرة مظاهرات سنية في الرمادي مؤسس المجلس العسكري لثو...

 

Stephanie Kifowit

American politician Stephanie KifowitMember of the Illinois House of Representativesfrom the 84th districtIncumbentAssumed office January 2013 (2013-January)Preceded byTom Cross (redistricted) Personal detailsBorn (1971-11-02) November 2, 1971 (age 52)Political partyDemocraticSpouseSteve KifowitResidence(s)Oswego, Illinois, U.S.Alma materNorthern Illinois UniversityProfessionRegistered Financial AdviserMilitary serviceAllegiance United StatesBranch/service ...

 

Álvaro Recoba

Álvaro Recoba Recoba in allenamento con la nazionale nel 2007 Nazionalità  Uruguay Altezza 177 cm Peso 79 kg Calcio Ruolo Allenatore (ex attaccante) Squadra  Nacional Termine carriera 31 marzo 2016 - giocatore Carriera Giovanili 19??-1993 Danubio Squadre di club1 1993-1995 Danubio41 (32)1996-1997 Nacional33 (30)1997-1999 Inter9 (3)1999→  Venezia19 (10)1999-2007 Inter166 (50)[1]2007-2008→  Torino22 (1)2008-2010 Paniōnios21 (5)201...

Gregoriana Amsterdam

This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (July 2016) Gregoriana Amsterdam is a vocal ensemble specialized in the reconstruction and performance of Gregorian chant based on tenth-century sources. Gregoriana was initiated by Reinier van der Lof in 2002. Since its foundation Gregoriana has been directed by Geert Maessen.[1] Since 2006 Gregoriana also has a female branch, ...

 

Yoannes Dwi Prasetyo

Yoannes Dwi PrasetyoWakil Kepala Pusat Zeni Angkatan Darat ke-2Masa jabatan25 Mei 2021 – 25 Februari 2022PendahuluGregorius Henu BasworoPenggantiMaryonoDirektur Kecabangan Pusat Zeni Angkatan Darat ke-1Masa jabatan9 April 2020 – 25 Mei 2021PendahuluTidak ada, Jabatan baruPenggantiMochamad Reza Utama Informasi pribadiLahir30 Maret 1964 (umur 59)Alma materAkademi Militer (1989)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1989...

 

Монгольський національний історичний музей

Монгольський національний історичний музейМонголын үндэсний түүхий музей монг. Монголын үндэсний түүхийн музей 47°55′14″ пн. ш. 106°54′54″ сх. д. / 47.92080000002777496° пн. ш. 106.91500000002778847° сх. д. / 47.92080000002777496; 106.91500000002778847Координати: 47°55′14″ пн. ш. 10...

Palazzo Corner Gheltof

Palazzo Corner Gheltoff in Venice, facade on the Grand CanalThe Palazzo Corner Gheltof is Gothic-style palace located on the Grand Canal, in the Sestieri of San Marco, adjacent to the Palazzi Mocenigo, in Venice, Italy. 2000 45°26′06″N 12°19′45″E / 45.43502°N 12.32915°E / 45.43502; 12.32915 History The building has undergone a number of renovations, including a major one in the 16th century.[1] References ^ Content in this edit is translated from th...

 

Winona State University

Public university in Winona, Minnesota, U.S. This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view. (June 2013) (Learn how and when to remove this template message) Winona State UniversityFormer namesFirst State Normal School of Minnesota (1858–1873)Winona Normal School (1873–1921)Winona State Teachers' College (192...

 

تى. سى. موراى

الصفحه دى يتيمه, حاول تضيفلها مقالات متعلقه لينكات فى صفحات تانيه متعلقه بيها. تى. سى. موراى   معلومات شخصيه اسم الولاده (بالانجليزى: Thomas Cornelius Murray)  الميلاد 17 يناير 1873[1][2]  تاريخ الوفاة 7 مارس 1959 (86 سنة)[1][2]  مواطنه جمهورية ايرلاندا المملكه المتحده لب...

PC-FX

1994 video game console PC-FXDeveloperNEC, Hudson SoftManufacturerNECTypeHome video game consoleGenerationFifth generation eraRelease dateJP: December 23, 1994Lifespan1994—1998DiscontinuedJP: February 1998Units sold400,000MediaCD-ROMCPUNEC V810 @ 21.475 MHzMemory2 MBDisplay256x240 to 341x240, 16.77 million colorsGraphicsHuC6270, HuC6271Sound16-Bit stereo, two ADPCM Channels, six 5-Bit sample ChannelsPredecessorTurboDuo The PC-FX[a] is a 32-bit home video game console developed by NE...

 

Madan Mahal, Jabalpur

Historical fort in Madhya Pradesh, India This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Madan Mahal, Jabalpur – news · newspapers · books · scholar · JSTOR (September 2014) (Learn how and when to remove this template message) For the railway station, see Madan Mahal railway station. Madan Mahal Fort, Jabalp...

 

静岡県道155号滝ケ原富士岡線

静岡県道155号滝ケ原富士岡線（しずおかけんどう155ごう たきがはらふじおかせん）は静岡県御殿場市中畑（滝ケ原）と御殿場市大坂を結ぶ一般県道。 付近に陸上自衛隊の滝ヶ原駐屯地、板妻駐屯地、駒門駐屯地があり、各駐屯地を結ぶ路線という側面が強い。実際、第二次世界大戦以前は軍事用の国道特三号だった。 接続する路線 静岡県道23号御殿場富士公園線(起点...

Help desk

Resource providing support for organization's products and services For Wikipedia's help desk, see Wikipedia:Help desk. E-commerce Digital content Ebook Software Streaming media Retail goods and services Advertising Auctions Banking DVD-by-mail Distribution Food ordering Grocery Marketplace Pharmacy Ride-hailing Travel Online shopping Comparison shopping Social commerce Trading communities Wallet Mobile commerce Payment Ticketing Customer service Call centre Help desk Live support software E-...

 

Open di Francia 2021 - Singolare maschile

Open di Francia 2021Singolare maschileSport Tennis Vincitore Novak Đoković Finalista Stefanos Tsitsipas Punteggio6(6)-7, 2-6, 6-3, 6-2, 6-4 Tornei Singolare uomini (q) donne (q)   ragazzi ragazze Doppio uomini donne misto ragazzi ragazze Singolare carrozzina uomini donne quad Doppio carrozzina uomini donne quad 2020 2022 Voce principale: Open di Francia 2021. Rafael Nadal era il campione in carica, ma è stato sconfitto in semifinale da Novak Đoković. In finale Novak Đoković ha sco...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!