23/06/11 20:30:34.88 5t3/bu9Q.net
>>525
>菊池誠の『不完全性定理』
これ、笑えるｗ
URLﾘﾝｸ(www.mathsoc.jp)
不完全性定理. 形式化された数学の限界と可能性.
故角田譲先生に捧ぐ. 2015年9月15日京都産業大学.
日本数学会2015年秋季総合分科会企画特別講演.
菊池誠（神戸大）.
25 ページ
P23-24
4.おわりに
（よくある笑えない話～なぜ笑えないのか？）
(引用終り)
23/06/11 20:30:34.88 5t3/bu9Q.net
>>525
>菊池誠の『不完全性定理』
これ、笑えるｗ
URLﾘﾝｸ(www.mathsoc.jp)
不完全性定理. 形式化された数学の限界と可能性.
故角田譲先生に捧ぐ. 2015年9月15日京都産業大学.
日本数学会2015年秋季総合分科会企画特別講演.
菊池誠（神戸大）.
25 ページ
P23-24
4.おわりに
（よくある笑えない話～なぜ笑えないのか？）
(引用終り)