HOME

TheInfoList



OR:

Torkel Franzén (1 April 1950,
Norrbotten County Norrbotten County ( sv, Norrbottens län; se, Norrbottena leatna, fi, Norrbottenin lääni) 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 border ...
– 19 April 2006, Stockholm) 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 Research University in Norrbotten County, Sweden. The university has four campuses located in the Arctic Region in the cities of Luleå, Kiruna, Skellefteå, and Piteå. With more than 19,000 student ...
, Sweden, in the fields of
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
and
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
. 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 phil ...
and for his contributions to
Usenet Usenet () is a worldwide distributed discussion system available on computers. It was developed from the general-purpose Unix-to-Unix Copy (UUCP) dial-up network architecture. Tom Truscott and Jim Ellis conceived the idea in 1979, and it was ...
. He was active in the online science fiction fan community, and even issued his own electronic
fanzine A fanzine (blend of '' 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 pleasure of others who share t ...
''Frotz'' on his fiftieth birthday. He died of
bone cancer A bone tumor is an abnormal growth of tissue in bone, traditionally classified as noncancerous (benign) or cancerous (malignant). Cancerous bone tumors usually originate from a cancer in another part of the body such as from lung, breast, th ...
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 (Massachusett language, Massachusett: ''Muhsachuweesut assachusett writing systems, məhswatʃəwiːsət'' English: , ), officially the Commonwealth of Massachusetts, is the most populous U.S. state, state in the New England ...
:
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'' and the ''Journal ...
, 2005. x + 172 pp. . * ''Inexhaustibility: A Non-Exhaustive Treatment''. Wellesley,
Massachusetts Massachusetts (Massachusett language, Massachusett: ''Muhsachuweesut assachusett writing systems, məhswatʃəwiːsət'' English: , ), officially the Commonwealth of Massachusetts, is the most populous U.S. state, state in the New England ...
:
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'' and the ''Journal ...
, 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 Alonzo Church. The current president of the ASL is ...
. .
The Popular Impact of Gödel's Incompleteness Theorem
''
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 appeared in 1953. Each issue of the magazine since ...
'', 53, #4 (April 2006), pp. 440–443. * ''Provability and Truth'' (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987)


See also

*
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 phil ...


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 Science fiction fans 20th-century Swedish mathematicians 21st-century Swedish mathematicians Mathematical logicians Academic staff of the Luleå University of Technology {{Europe-mathematician-stub