Torkel Franzén
Torkel Franzén (1 April 1950 – 19 April 2006) was a Swedish academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, in the fields of mathematical logic and computer science. He was known for his work on Gödel's incompleteness theorems and for his contributions to Usenet.[1] He was active in the online science fiction fan community, and even issued his own electronic fanzine Frotz on his fiftieth birthday.[2] He died of bone cancer at age 56.[3]
Selected works
- Gödel's Theorem: An Incomplete Guide to its Use and Abuse. Wellesley, Massachusetts: A K Peters, Ltd., 2005. x + 172 pp. ISBN 1-56881-238-8.
- Inexhaustibility: A Non-Exhaustive Treatment. Wellesley, Massachusetts: A K Peters, Ltd., 2004. Lecture Notes in Logic, #16, Association for Symbolic Logic. ISBN 1-56881-174-8.
- The Popular Impact of Gödel's Incompleteness Theorem, Notices of the American Mathematical Society, 53, #4 (April 2006), pp. 440–443.
- Provability and Truth (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN 91-22-01158-7
See also
Notes
- ↑ In Memory Of, web page at the American Mathematical Society, accessed August 2, 2007.
- ↑ Frotz: An Electronic Oneshot at the Wayback Machine (archived October 1, 2007), accessed online September 8, 2007.
- ↑ Torkel Franzén is dead, 20 April 2006.
External links
- Home page
- Raatikainen, Panu. Review of Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. Notices of the American Mathematical Society, Vol. 54, No. 3 (March 2007), pp. 380–3.
This article is issued from Wikipedia - version of the 11/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.