Torkel Franzén
Torkel Franzén was a Swedish academic.Biography
Franzén 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. He was active in the online science fiction fan community, and even issued his own electronic fanzine Frotz on his fiftieth birthday. He died of bone cancer at age 56.Selected works
- Gödel's Theorem: An Incomplete Guide to its Use and Abuse. Wellesley, Massachusetts: A K Peters, Ltd., 2005. x + 172 pp..
- Inexhaustibility: A Non-Exhaustive Treatment. Wellesley, Massachusetts: A K Peters, Ltd., 2004. Lecture Notes in Logic, #16, Association for Symbolic Logic..
- , Notices of the American Mathematical Society, 53, #4, pp. 440-443.
- Provability and Truth
