Torkel Franzén (1 April 1950,

Norrbotten County Norrbotten County (, Meänkieli/, ) is the northernmost county or '' län'' of Sweden. It is also the largest county by land area, almost a quarter of Sweden's total area. It shares borders with Västerbotten County to the southwest, the Gulf ...

– 19 April 2006,

Stockholm Stockholm (; ) is the Capital city, capital and List of urban areas in Sweden by population, most populous city of Sweden, as well as the List of urban areas in the Nordic countries, largest urban area in the Nordic countries. Approximately ...

) was a Swedish academic.

Biography

Franzén worked at the Department of Computer Science and Electrical Engineering at

Luleå University of Technology Luleå University of Technology is a Public university, public research university in Norrbotten County, Sweden. The university has four campuses located in the Arctic, Arctic Region in the cities of Luleå, Kiruna, Skellefteå, and Piteå. With ...

, Sweden, in the fields of

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

. He was known for his work on

Gödel's incompleteness theorems Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the phi ...

and for his contributions to

Usenet Usenet (), a portmanteau of User's Network, is a worldwide distributed discussion system available on computers. It was developed from the general-purpose UUCP, Unix-to-Unix Copy (UUCP) dial-up network architecture. Tom Truscott and Jim Elli ...

. He was active in the online science fiction fan community, and even issued his own electronic

fanzine A fanzine (blend word, blend of ''fan (person), fan'' and ''magazine'' or ''zine'') is a non-professional and non-official publication produced by enthusiasts of a particular cultural phenomenon (such as a literary or musical genre) for the pleas ...

''Frotz'' on his fiftieth birthday. He died of

bone cancer A bone tumor is an neoplastic, abnormal growth of tissue in bone, traditionally classified as benign, noncancerous (benign) or malignant, cancerous (malignant). Cancerous bone tumors usually originate from a cancer in another part of the body su ...

at age 56.Torkel Franzén is dead
20 April 2006.

Selected works

* ''Gödel's Theorem: An Incomplete Guide to its Use and Abuse''. Wellesley,

Massachusetts Massachusetts ( ; ), officially the Commonwealth of Massachusetts, is a U.S. state, state in the New England region of the Northeastern United States. It borders the Atlantic Ocean and the Gulf of Maine to its east, Connecticut and Rhode ...

A K Peters, Ltd. A K Peters, Ltd. was a publisher of scientific and technical books, specializing in mathematics and in computer graphics, robotics, and other fields of computer science. They published the journals ''Experimental Mathematics (journal), Experiment ...

, 2005. x + 172 pp. . * ''Inexhaustibility: A Non-Exhaustive Treatment''. Wellesley,

, 2004. Lecture Notes in Logic, #16,

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...

Notices of the American Mathematical Society ''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except for the combined June/July issue. The first volume was published in 1953. Each issue of the magazine ...

'', 53, #4 (April 2006), pp. 440–443. * ''Provability and Truth'' (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987)

References

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. 1950 births 2006 deaths Usenet people 20th-century Swedish mathematicians 21st-century Swedish mathematicians Mathematical logicians Academic staff of the Luleå University of Technology {{Europe-mathematician-stub

Biography

Selected works

See also

References

External links