428 followers
@ranha 「consistencyに関する命題」というクラスをちゃんと定めるのが難しそう…… 一応,前原先生によるこういう論文があります → https://t.co/4Doh8T0fxG
@ranha 「consistencyに関する命題」というクラスをちゃんと定めるのが難しそう…… 一応,前原先生によるこういう論文があります → https://t.co/4Doh8T0fxG
ところで前に菊池先生に教えてもらったんですが,前原先生の『第2不完全性定理の内容的解釈』( https://t.co/4Doh8SI6jy )は面白いのでオススメ
「第2不完全性定理の内容的解釈」前原 昭二 http://t.co/7eoTn0On 科学基礎論研究 Vol. 20 (1990-1992) No. 3 P 143-147