Från Rilpedia

Torkel Franzén, född 1 april 1950, död 19 april 2006, var filosof verksam som lektor vid Luleå Tekniska Universitet, och skönlitterär översättare. Franzén disputerade vid Stockholms universitet med en avhandling om matematikens filosofi. Han författade efter detta ett flertal böcker, inom såväl programmering som logik och filosofi. På det filosofiska området verkade Franzén för att precisera den filosofiska innebörden av Gödels ofullständighetssats och gjorde sig känd som en skarp kritiker av vanformuleringar och felaktigt nyttjande av detsamma. En stor insats har Franzén gjort med sin analys av hur Turings (och senare Fefermans) konstruktioner med transfinita kompletteringar av ett axiomsystem egentligen fungerar.

Torkel Franzén avled i skelettcancer den 19 april 2006 vid 56 års ålder.

Bibliografi

• Franzen, Torkel: Provability and Truth, Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9, ISBN 91-22-01158-7
• Franzen, Torkel: Gödel’s Theorem. An Incomplete Guide to Its Use and Abuse, AK Peters 2005, ISBN 1-56881-238-8