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