あのひと検索 SPYSEE
詳細検索

タグ: 数理論理学 (2人)

竹内外史
竹内外史(たけうちがいし、1926年1月25日-)は、日本の数学者、論理学者。専門は数理論理学。石川県出身。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授を歴任。プリンストンでゲーデルに直に教わり、内...
ゴットロープ・フレーゲ
ゴットロープ・フレーゲ(FriedrichLudwigGottlobFrege,1848年11月8日-1925年7月26日)は、ドイツの数学者、論理学者、哲学者である。現代の数理論理学、分析哲学の祖と呼ばれる。フレーゲはバルト海に面したドイツの港町ヴ...