Torkel Franzén
Wikipedia
Torkel Franzén, var filosof verksam som lektor vid Luleå Tekniska Universitet. 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 teorem 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. Franzén var därtill en aktiv postare på swnet samt även på ett antal övriga usenetgrupper såsom sci.logic, sci.math etc etc.
Torkel Franzén avled i skelettcancer den 19 april 2006 vid 56 års ålder.
[redigera] Referenser
- 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
