トルケル・フランツェン

トルケル・フランゼン（Torkel Franzén、1950年4月1日、ノールボッテン郡- 2006年4月19日、ストックホルム）は、スウェーデンの学者。

フランツェンは、スウェーデンのルレオ工科大学のコンピュータ科学・電気工学科で、数理論理学とコンピュータ科学の分野で働いていた。彼はゲーデルの不完全性定理に関する研究とUsenetへの貢献で知られていた。^{[ 1 ]}彼はオンラインのSFファンコミュニティで活発に活動し、50歳の誕生日には自身の電子ファンジン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年4月）、 pp.440-443 。
• 証明可能性と真実(Acta universitatisstockholmiensis、ストックホルム哲学研究 9) (1987) ISBN 91-22-01158-7

• ゲーデルの不完全性定理

• ホームページ
• Raatikainen, Panu. 「ゲーデルの定理のレビュー：その使用と誤用に関する不完全なガイド」アメリカ数学会報、第54巻、第3号（2007年3月）、 380～383ページ。