Torkel Franzén
   HOME

TheInfoList



Click Here for Items Related To - Torkel Franzén
OR:
Torkel Franzén on:   [Wikipedia]   [Google]   [Amazon]

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 Stockholm () is the Capital city, capital and List of urban areas in Sweden by population, largest city of Sweden as well as the List of urban areas in the Nordic countries, largest urban area in Scandinavia. Approximately 980,000 people liv ...
) was a
Swedish Swedish or ' may refer to: Anything from or related to Sweden, a country in Northern Europe. Or, specifically: * Swedish language, a North Germanic language spoken primarily in Sweden and Finland ** Swedish alphabet, the official alphabet used by ...
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 students a ...
, Sweden, in the fields of
mathematical logic Mathematical logic is the study of logic, 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 for ...
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 Applied science, practical discipli ...
. He was known for his work on
Gödel's incompleteness theorems Gödel's incompleteness theorems are two theorems of mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research i ...
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 word, blend of ''fan (person), fan'' and ''magazine'' or ''-zine'') is a non-professional and non-official publication produced by fan (person), enthusiasts of a particular cultural phenomenon (such as a literary or musical genre) ...
''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, thyro ...
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., 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., 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 Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research i ...


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