Торкель Францен - Torkel Franzén

Торкель Францен (1 апреля 1950 г., Лен Норрботтен - 19 апреля 2006 г., Стокгольм ) был Шведский академический.

биография

Францен работал на факультете информатики и электротехники в Технологический университет Лулео, Швеция, в областях математическая логика и Информатика. Он был известен своей работой над Теоремы Гёделя о неполноте и за его вклад в Usenet.[1] Он был активен в сети Сообщество фанатов научной фантастики и даже выпустил собственный электронный фэнзин Frotz в его пятидесятилетие.[2] Он умер от рак кости в 56 лет.[3]

Избранные работы

  • Теорема Гёделя: неполное руководство по ее использованию и злоупотреблениям. Уэлсли, Массачусетс: А. К. Петерс, ООО, 2005. х + 172 с. ISBN  1-56881-238-8.
  • Неисчерпаемость: неисчерпаемое лечение. Уэлсли, Массачусетс: А. К. Петерс, ООО, 2004. Конспект лекций по логике, №16, Ассоциация символической логики. ISBN  1-56881-174-8.
  • Популярное влияние теоремы Гёделя о неполноте, Уведомления Американского математического общества, 53, № 4 (апрель 2006 г.), стр. 440–443.
  • Доказуемость и правда (Acta Universitatis stockholmiensis, Стокгольмские исследования в области философии 9) (1987) ISBN  91-22-01158-7

Смотрите также

Рекомендации

  1. ^ В память о, веб-страница в Американское математическое общество, по состоянию на 2 августа 2007 г.
  2. ^ "Фротц: Электронный удар". Архивировано из оригинал 1 октября 2007 г.. Получено 2007-10-01., по состоянию на 8 сентября 2007 г.
  3. ^ Торкель Францен мертв, 20 апреля 2006 г.

внешняя ссылка