Торкель Франзен
Торкель Францен (1 апреля 1950, округ Норрботтен — 19 апреля 2006, Стокгольм ) — шведский учёный.
Биография
[ редактировать ]Франзен работал на факультете компьютерных наук и электротехники Технологического университета Лулео , Швеция, в области математической логики и информатики . Он был известен своей работой над теоремами Гёделя о неполноте и своим вкладом в Usenet . [ 1 ] Он был активным членом онлайн- сообщества любителей научной фантастики и даже выпустил собственный электронный журнал для фанатов «Фротц» к своему пятидесятилетию. [ 2 ] Он умер от рака костей в возрасте 56 лет. [ 3 ]
Избранные произведения
[ редактировать ]- Теорема Гёделя: неполное руководство по ее использованию и злоупотреблениям . Уэлсли , Массачусетс : AK Peters, Ltd. , 2005. x + 172 стр. ISBN 1-56881-238-8 .
- Неисчерпаемость: неисчерпывающий подход . Уэлсли , Массачусетс : AK Peters, Ltd. , 2004. Конспекты лекций по логике, № 16, Ассоциация символической логики . ISBN 1-56881-174-8 .
- Популярное влияние теоремы Гёделя о неполноте , Уведомления Американского математического общества , 53 , № 4 (апрель 2006 г.), стр. 440–443.
- Доказуемость и истина (Acta universitatis stockholmiensis, стокгольмские исследования по философии 9) (1987) ISBN 91-22-01158-7
См. также
[ редактировать ]Ссылки
[ редактировать ]- ↑ In Memory Of , веб-страница Американского математического общества , по состоянию на 2 августа 2007 г.
- ^ «Фротц: Электронный выстрел» . Архивировано из оригинала 1 октября 2007 года . Проверено 1 октября 2007 г. , доступ онлайн 8 сентября 2007 г.
- ^ Торкель Франзен мертв , 20 апреля 2006 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Раатикайнен, Пану. Обзор теоремы Гёделя: неполное руководство по ее использованию и злоупотреблениям . Уведомления Американского математического общества , Vol. 54, № 3 (март 2007 г.), стр. 380–3.