Torkel Franzén - Torkel Franzén
Torkel Franzén (1 kwietnia 1950 r., Hrabstwo Norrbotten - 19 kwietnia 2006 r., Sztokholm ) był szwedzkim naukowcem.
Biografia
Franzén pracował na Wydziale Informatyki i Elektrotechniki Uniwersytetu Technicznego w Luleå w Szwecji w dziedzinie logiki matematycznej i informatyki . Był znany ze swojej pracy nad twierdzeniami o niezupełności Gödla i jego wkładu w Usenet . Działał w internetowej społeczności fanów science fiction , a nawet wydał swój własny elektroniczny fanzin Frotz w dniu swoich pięćdziesiątych urodzin. Zmarł na raka kości w wieku 56 lat.
Wybrane prace
- Twierdzenie Gödla: niekompletny przewodnik po jego użyciu i nadużyciach . Wellesley , Massachusetts : AK Peters, Ltd. , 2005. x + 172 str. ISBN 1-56881-238-8 .
- Niewyczerpalność: niewyczerpujące leczenie . Wellesley , Massachusetts : AK Peters, Ltd. , 2004. Notatki do wykładu w logice, nr 16, Association for Symbolic Logic . ISBN 1-56881-174-8 .
- The Popular Impact of Gödel's Incompleteness Theorem , Notices of the American Mathematical Society , 53 , # 4 (kwiecień 2006), str. 440–443.
- Provability and Truth (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN 91-22-01158-7
Zobacz też
Bibliografia
Linki zewnętrzne
- Strona główna
- Raatikainen, Panu. Przegląd twierdzenia Gödla: niekompletny przewodnik po jego użyciu i nadużyciach . Uwagi Amerykańskiego Towarzystwa Matematycznego , tom. 54, nr 3 (marzec 2007), s. 380–3.
Ten artykuł o szwedzkim naukowcu to stub . Możesz pomóc Wikipedii, rozbudowując ją . |
Ten artykuł o europejskim matematyku to zalążek . Możesz pomóc Wikipedii, rozbudowując ją . |