Торкель Францен (1 апреля 1950 г., графство Норрботтен - 19 апреля 2006 г., Стокгольм ) был шведским академиком.
биография
Францен работал на факультете компьютерных наук и электротехники Технологического университета Лулео , Швеция, в области математической логики и информатики . Он был известен своей работой над теоремами Гёделя о неполноте и своим вкладом в Usenet . [1] Он был активен в онлайн- сообществе фанатов научной фантастики и даже выпустил собственный электронный фанзин Frotz в день своего пятидесятилетия. [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 г.
- ^ Torkel Franzén мертв , 20 апреля 2006.
Внешние ссылки
- Домашняя страница
- Раатикайнен, Пану. Обзор теоремы Гёделя: неполное руководство по ее использованию и злоупотреблениям . Уведомления Американского математического общества , Vol. 54, № 3 (март 2007 г.), стр. 380–3.