Torkel Franzén

Torkel Franzén (1 april 1950, Norrbottens län – 19 april 2006, Stockholm ) var en svensk akademiker.

Biografi

Franzén arbetade vid institutionen för datavetenskap och elektroteknik vid Luleå tekniska universitet, Sverige, inom områdena matematisk logik och datavetenskap . Han var känd för sitt arbete med Gödels ofullständighetsteorem och för sina bidrag till Usenet . Han var aktiv i science fiction-fangemenskapen online och gav till och med ut sitt eget elektroniska fanzine Frotz på sin femtioårsdag. Han dog av skelettcancer vid 56 års ålder.

Utvalda verk

•   Gödels sats: En ofullständig guide till dess användning och missbruk . Wellesley , Massachusetts : AK Peters, Ltd. , 2005. x + 172 s. ISBN 1-56881-238-8 .
•   Outtömlighet: En icke-uttömmande behandling . Wellesley , Massachusetts : AK Peters, Ltd. , 2004. Lecture Notes in Logic, #16, Association for Symbolic Logic . ISBN 1-56881-174-8 .
• The Popular Impact of Gödels Incompleteness Theorem , Notices of the American Mathematical Society , 53 , #4 (april 2006), s. 440–443.
•   Bevisbarhet och sanning (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN 91-22-01158-7

Se även

• Gödels ofullständighetssatser

externa länkar

• Hemsida
• Raatikainen, Panu. Genomgång av Gödels sats: En ofullständig guide till dess användning och missbruk . Notices of the American Mathematical Society , Vol. 54, nr 3 (mars 2007), s. 380–3.