Torkel Franzén - Torkel Franzén

Torkel Franzén (1. April 1950, Landkreis Norrbotten - 19. April 2006, Stockholm ) war ein schwedischer Akademiker.

Biografie

Franzén arbeitete am Institut für Informatik und Elektrotechnik der Technischen Universität Luleå in Schweden in den Bereichen mathematische Logik und Informatik . Er war bekannt für seine Arbeit an Gödels Unvollständigkeitssätzen und für seine Beiträge zum Usenet . Er war in der Online- Science-Fiction-Fan-Community aktiv und gab an seinem fünfzigsten Geburtstag sogar sein eigenes elektronisches Fanzine Frotz heraus. Er starb im Alter von 56 Jahren an Knochenkrebs .

Ausgewählte Werke

  • Gödels Theorem: Eine unvollständige Anleitung zu seiner Verwendung und seinem Missbrauch . Wellesley , Massachusetts : AK Peters, Ltd. , 2005. x + 172 S. ISBN  1-56881-238-8 .
  • Unerschöpflichkeit: Eine nicht erschöpfende Behandlung . Wellesley , Massachusetts : AK Peters, Ltd. , 2004. Lecture Notes in Logic, Nr. 16, Association for Symbolic Logic . ISBN  1-56881-174-8 .
  • Der populäre Einfluss von Gödels Unvollständigkeitssatz , Notices of the American Mathematical Society , 53 , # 4 (April 2006), S. 440–443.
  • Beweisbarkeit und Wahrheit (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN  91-22-01158-7

Siehe auch

Verweise

Externe Links