Torkel Franzén - Torkel Franzén - Wikipedia

Torkel Franzén (1. dubna 1950, Norrbotten County - 19. dubna 2006, Stockholm ) byl švédský akademický.

Životopis

Franzén pracoval na Katedře výpočetní techniky a elektrotechniky v Luleå University of Technology, Švédsko, v oblastech matematická logika a počítačová věda. Byl známý svou prací na Gödelovy věty o neúplnosti a za jeho příspěvky pro Usenet.[1] Působil online komunita fanoušků sci-fi, a dokonce vydal vlastní elektroniku fanzin Frotz na jeho padesáté narozeniny.[2] Zemřel na rakovina kostí ve věku 56.[3]

Vybraná díla

  • Gödelova věta: Neúplný průvodce jeho používáním a zneužíváním. Wellesley, Massachusetts: A K Peters, Ltd., 2005. x + 172 stran ISBN  1-56881-238-8.
  • Nevyčerpatelnost: Nevyčerpávající léčba. Wellesley, Massachusetts: A K Peters, Ltd., 2004. Poznámky k přednášce v logice, č. 16, Sdružení pro symbolickou logiku. ISBN  1-56881-174-8.
  • Populární dopad Gödelovy věty o neúplnosti, Oznámení Americké matematické společnosti, 53, # 4 (duben 2006), s. 440–443.
  • Providabilita a pravda (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN  91-22-01158-7

Viz také

Reference

  1. ^ Na památku, webová stránka na Americká matematická společnost, zpřístupněno 2. srpna 2007.
  2. ^ „Frotz: Electronic Oneshot“. Archivovány od originál 1. října 2007. Citováno 2007-10-01., přístup online 8. září 2007.
  3. ^ Torkel Franzén je mrtvý, 20. dubna 2006.

externí odkazy