menu

日本数学会ビデオアーカイブ

企画特別講演　2015年度秋季総合分科会

日時: 2015年9月15日(火) 13:00〜14:00
会場: 京都産業大学 11号館11304教室

講演者

菊池 誠 (神戸大システム情報)

講演題目

不完全性定理: 形式化された数学の限界と可能性

講演概要

講演資料

発表スライド 『不完全性定理 形式化された数学の限界と可能性　故 角田譲先生に捧ぐ』

参考URL