Torkel Franzén
Encyclopedia
Torkel Franzén 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
. 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.
Sweden
Sweden , officially the Kingdom of Sweden , is a Nordic country on the Scandinavian Peninsula in Northern Europe. Sweden borders with Norway and Finland and is connected to Denmark by a bridge-tunnel across the Öresund....
academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology
Luleå University of Technology
Luleå University of Technology or Luleå tekniska universitet of Sweden is Scandinavia's northernmost university of technology. It has four campuses, located in Luleå , Kiruna , Skellefteå and Piteå .-History:The university was founded on 1 June 1971 at Porsön in Luleå as...
, Sweden, in the fields of mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
and computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
. He was known for his work on Gödel's incompleteness theorems
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of...
and for his contributions to Usenet
Usenet
Usenet is a worldwide distributed Internet discussion system. It developed from the general purpose UUCP architecture of the same name.Duke University graduate students Tom Truscott and Jim Ellis conceived the idea in 1979 and it was established in 1980...
. He was active in the online science fiction fan community
Science fiction fandom
Science fiction fandom or SF fandom is a community or "fandom" of people actively interested in science fiction and fantasy and in contact with one another based upon that interest...
, and even issued his own electronic fanzine
Science fiction fanzine
A science fiction fanzine is an amateur or semi-professional magazine published by members of science fiction fandom, from the 1930s to the present day...
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. WellesleyWellesley, MassachusettsWellesley is a town in Norfolk County, Massachusetts, United States. It is part of Greater Boston. The population was 27,982 at the time of the 2010 census.It is best known as the home of Wellesley College and Babson College...
, MassachusettsMassachusettsThe Commonwealth of Massachusetts is a state in the New England region of the northeastern United States of America. It is bordered by Rhode Island and Connecticut to the south, New York to the west, and Vermont and New Hampshire to the north; at its east lies the Atlantic Ocean. As of the 2010...
: A K Peters, Ltd.A K Peters, Ltd.A K Peters, Ltd. is a publisher of scientific and technical books, specializing in mathematics and in computer graphics, robotics, and other fields of computer science. They publish the journals Experimental Mathematics, Internet Mathematics, and the Journal of Graphics Tools. The company was...
, 2005. x + 172 pp. ISBN 1-56881-238-8. - Inexhaustibility: A Non-Exhaustive Treatment. WellesleyWellesley, MassachusettsWellesley is a town in Norfolk County, Massachusetts, United States. It is part of Greater Boston. The population was 27,982 at the time of the 2010 census.It is best known as the home of Wellesley College and Babson College...
, MassachusettsMassachusettsThe Commonwealth of Massachusetts is a state in the New England region of the northeastern United States of America. It is bordered by Rhode Island and Connecticut to the south, New York to the west, and Vermont and New Hampshire to the north; at its east lies the Atlantic Ocean. As of the 2010...
: A K Peters, Ltd.A K Peters, Ltd.A K Peters, Ltd. is a publisher of scientific and technical books, specializing in mathematics and in computer graphics, robotics, and other fields of computer science. They publish the journals Experimental Mathematics, Internet Mathematics, and the Journal of Graphics Tools. The company was...
, 2004. Lecture Notes in Logic, #16, Association for Symbolic LogicAssociation for Symbolic LogicThe Association for Symbolic Logic is an international organization of specialists in mathematical logic and philosophical logic—the largest such organization in the world. The ASL was founded in 1936, a crucial year in the development of modern logic, and its first president was Alonzo Church...
. 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.