Torkel Franzén

Från Wikipedia
Hoppa till: navigering, sök

Torkel Franzén, född 1 april 1950, död 19 april 2006, var en svensk filosof, logiker och matematiker verksam som lektor vid Luleå tekniska universitet,[1] och skönlitterär översättare.[2][3] Franzén disputerade 1987 vid Stockholms universitet med en avhandling om matematikens filosofi, Provability and Truth.[4] Han författade efter detta ett flertal böcker, inom såväl programmering som logik och filosofi.[3] 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.[5] Franzén blev internationellt uppmärksammad under sin sista tid och inbjuden att föreläsa på ett dussintal universitet världen över.[2][5]

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.[1][4][6]

Franzén översatte till svenska bland annat verk av de engelskspråkiga science fiction-författarna Brian Aldiss, Jack Vance och Ursula K. LeGuin[2][7] men även t ex John Conways Book of Numbers[8]. 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.[2][9]

Torkel Franzén avled vid 56 års ålder i lungcancer med skelettmetastaser.[6]

Bibliografi[redigera | redigera wikitext]

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

Källor[redigera | redigera wikitext]

  1. ^ [a b] ”In Memory Of... (2006-2007)” (på engelska). American Mathematical Society, AMS. http://www.ams.org/ams/inmemory-2006-2007.html. Läst 2009-06-13. 
  2. ^ [a b c d] Holmberg, John-Henri (2006-04-20). ”Torkel Franzén, 1950-2006”. Fanspan. http://fanspan.wordpress.com/2006/04/20/torkel-franzen-1950-2006/. Läst 2010.04.08. 
  3. ^ [a b] Libris-katalogen
  4. ^ [a b] Gadde, Erland (2006-04-20). ”Torkel Franzén är död” (diskussionsforum). swnet.media. Google. http://groups.google.com/group/swnet.media/browse_thread/thread/781895f850b3c44f. Läst 2009-06-13. 
  5. ^ [a b] Feferman, Solomon (2006-04-20). ”Torkel Franzén” (på engelska) (diskussionsforum). FOM. Foundations of Mathematics, FOM. http://cs.nyu.edu/pipermail/fom/2006-April/010463.html. Läst 2009-06-13. 
  6. ^ [a b] Gadde, Erland (2006-04-20). ”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 2009-06-13. 
  7. ^ Silver, Steven H. (2006-04-20). ”SF Site News” (på engelska). SF Site. http://www.sfsite.com/columns/news0604.htm. Läst 2009-06-13. 
  8. ^ http://libris.kb.se/bib/7275201
  9. ^ Franzén, Torkel (1999). ”FROTZ: AN ELECTRONIC ONESHOT”. Torkel Franzén. http://web.archive.org/web/20071001011504/http://www.sm.luth.se/~torkel/eget/frotz.html. Läst 2009-06-13. 

Externa länkar[redigera | redigera wikitext]