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