토르켈 프란체엔
Torkel FranzénTorkel Franzén(1950년 4월 1일, Norrbotten County – 2006년 4월 19일, 스톡홀름)은 스웨덴의 학자였다.
전기
프란젠은 스웨덴 루레히 공대의 컴퓨터공학 전기공학부에서 수학논리와 컴퓨터공학 분야에서 일했다. 괴델의 불완전성 이론에 대한 연구와 유스넷에 대한 공헌으로 유명하다.[1] 그는 온라인 공상과학 팬 커뮤니티에서 활동했으며, 50번째 생일에 자신의 전자 팬진 프로츠를 발행하기도 했다.[2] 그는 56세에 골암으로 죽었다.[3]
선택한 작품
- 괴델의 정리: 사용 및 남용에 대한 불완전한 가이드. 매사추세츠 주 웰즐리: A K Peters, 2005. x + 172 페이지 ISBN1-56881-238-8.
- 무진장: 무진장 치료. 매사추세츠 주 웰즐리: A K Peters, 2004. 논리학 강의 노트, #16 기호 논리학 협회 ISBN 1-56881-174-8
- 괴델의 불완전성 정리의 대중적 영향, 미국수학협회의 통지, 53, #4 (2006년 4월), 페이지 440–443.
- Provability and Truth(Acta Universitatis stockholmiensis, Stockholmiensis in the 철학 9)(1987) ISBN 91-22-01158-7
참고 항목
참조
- ^ Memory Of, 2007년 8월 2일 미국수학협회의 웹페이지에 접속했다.
- ^ 2007년 9월 8일 온라인으로 접속했다"Frotz: An Electronic Oneshot". Archived from the original on October 1, 2007. Retrieved 2007-10-01..
- ^ Torkel Franzén은 2006년 4월 20일에 죽었다.
외부 링크
- 홈페이지
- 라아티카인엔, 파누. 괴델의 정리 검토: 사용 및 남용에 대한 불완전한 가이드. 미국수학협회의 통지서, 제54권, 제3권(2007년 3월), 페이지 380-3.