WikiDer > Torkel Franzen

Torkel Franzén

Torkel Franzen (1. April 1950 - 19. April 2006) war ein Schwedisch Akademiker, der der Fakultät für Informatik und Elektrotechnik der Technische Universität Luleå in Schweden. Er arbeitete in den Bereichen der mathematische Logik und der Informatik. Er war bekannt für seine Arbeit an der Unvollständigkeitssätze von Gödel und für seine Beiträge zu Usenet^[1] Er war online aktiv Science-Fiction-Fangemeinde und gab sogar seine eigene elektronische Fanzine, frotz an seinem fünfzigsten geburtstag^[2]. Er starb im Alter von 56 Jahren an Knochenkrebs.^[3]

Ausgewählte Werke

(und) Der Satz von Gödel: Eine unvollständige Anleitung zu seinem Gebrauch und Missbrauch (Theorem von Gödel: Eine unvollständige Anleitung zum Gebrauch und Missbrauch), Wellesley, Massachusetts: A.K.Peters, Ltd., 2005. x 172 Seiten.ISBN 1-56881-238-8 .
(und) Unerschöpflichkeit: Eine nicht erschöpfende Behandlung (Unerschöpflichkeit: eine nicht erschöpfende Abhandlung), Wellesley, Massachusetts: A.K.Peters, Ltd., 2004. Vorlesungsnotizen in Logik, #16, Assoziation für symbolische Logik. ISBN 1-56881-174-8 .
(und) Der populäre Einfluss von Gödels Unvollständigkeitssatz (Der populäre Einfluss von Unvollständigkeitssatz von Gödel), Mitteilungen der American Mathematical Society, 53, #4 (April 2006), pp. 440–443.