Torkel Franzén

Torkel Franzén

Torkel Franzén (April 1,1950 – April 19, 2006) was a Swedish academic working 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. [ [http://www.ams.org/ams/inmemory-2006-2007.html In Memory Of] , web page at the American Mathematical Society, accessed August 2, 2007.] He was active in the online science fiction fan community, and even issued his own electronic fanzine "Frotz" on his fiftieth birthday. [ [http://www.sm.luth.se/~torkel/eget/frotz.html Frotz: An Electronic Oneshot] , accessed online September 8, 2007.] He died of bone cancer at age 56. [http://groups.google.com/group/sci.logic/browse_frm/thread/8deb70503c02d63e/36847f81050c349d]

Selected works

* "Gödel's Theorem: An Incomplete Guide to its Use and Abuse". Wellesley, Massachusetts: A K Peters, Ltd., 2005. x + 172 pp. ISBN 1-56881-238-8.
* "Inexhaustibility: A Non-Exhaustive Treatment". Wellesley, Massachusetts: A K Peters, Ltd., 2004. Lecture Notes in Logic, #16, Association for Symbolic Logic. ISBN 1-56881-174-8.
* [http://www.ams.org/notices/200604/fea-franzen.pdf The Popular Impact of Gödel's Incompleteness Theorem] , "Notices of the American Mathematical Society", 53, #4 (April 2006), pp. 440–443.

References

External links

* [http://www.sm.luth.se/~torkel/ Home page]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Franzen — may refer to:*Franzen, Wisconsin, a town in the United States *Anders Franzén, a Swedish underwater archaeologist *Frans Michael Franzén (1772 1847), a Swedish poet *Johan Franzén, a professional ice hockey player *Jonathan Franzen, (1959 ), an… …   Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

  • Gregory Chaitin — Born 1947 (1947) Chicago[1] Residence …   Wikipedia

  • Чейтин, Грегори — Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности, он известен …   Википедия

  • Хайтин, Грегори — Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности,… …   Википедия

  • Грегори Чейтин — Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности, он известен …   Википедия

  • Чейтин — Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности, он известен …   Википедия

  • Чейтин Грегори — Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности, он известен …   Википедия

  • Хайтин — Хайтин, Грегори Грегори Джон Хайтин (англ. Gregory John Chaitin; 1947)  аргентино американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В… …   Википедия

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”