Torkel Franzén - Torkel Franzén

Torkel Franzen (1950 yil 1-aprel, Norrbotten okrugi - 2006 yil 19 aprel, Stokgolm ) edi a Shved akademik.

Biografiya

Franzen Kompyuter fanlari va elektrotexnika kafedrasida ishlagan Luleå Texnologiya Universiteti, Shvetsiya, dalalarida matematik mantiq va Kompyuter fanlari. U ishi bilan tanilgan edi Gödelning to'liqsizligi teoremalari va uning hissasi uchun Usenet.^[1] U Internetda faol edi ilmiy fantastika muxlislari jamoasi va hatto o'z elektronini chiqargan fanzine Frotz uning ellik yoshida.^[2] U vafot etdi suyak saratoni 56 yoshida^[3]

Gödel teoremasi: uni ishlatish va suiiste'mol qilish bo'yicha to'liq bo'lmagan qo'llanma. Uelsli, Massachusets shtati: A K Peters, Ltd., 2005. x + 172 pp. ISBN 1-56881-238-8.
Tugamaslik: Tugamaydigan davolash. Uelsli, Massachusets shtati: A K Peters, Ltd., 2004. Mantiqiy ma'ruzalar, № 16, Ramziy mantiq assotsiatsiyasi. ISBN 1-56881-174-8.
Gödelning tugallanmaganligi teoremasining mashhur ta'siri, Amerika Matematik Jamiyati to'g'risida bildirishnomalar, 53, # 4 (2006 yil aprel), 440–443 betlar.
Ishonchlilik va haqiqat (Acta universitatis stockholmiensis, Stockholm Studies in Philosophy 9) (1987) ISBN 91-22-01158-7

^ Xotirasida, veb-sahifa Amerika matematik jamiyati, 2007 yil 2-avgustda foydalanilgan.
^ "Frotz: elektron oneshot". Arxivlandi asl nusxasi 2007 yil 1 oktyabrda. Olingan 2007-10-01., 2007 yil 8 sentyabrda onlayn ravishda kirilgan.
^ Torkel Franzen vafot etdi, 2006 yil 20 aprel.

Bosh sahifa
Raatikainen, Panu. Sharh Gödel teoremasi: uni ishlatish va suiiste'mol qilish bo'yicha to'liq bo'lmagan qo'llanma. Amerika Matematik Jamiyati to'g'risida bildirishnomalar, Jild 54, № 3 (2007 yil mart), 380-3-betlar.

Shved olimi haqidagi ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

Evropalik haqida ushbu maqola matematik a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.