1,289 followers
J-STAGE Articles - Gödelの不完全性定理を巡る三つの断章 https://t.co/0wIBxwXwX6
J-STAGE Articles - Gödelの不完全性定理を巡る三つの断章 https://t.co/0wIBxwXwX6
RT @Kurahashi16: @waidotto 更に Con_T → ¬Pr_T(φ) が証明できないような φ については,菊池先生との共著論文「Gödelの不完全性定理を巡る三つの断章」で触れています. https://t.co/9CiohqU2IR ただし統一的な分…
@waidotto 更に Con_T → ¬Pr_T(φ) が証明できないような φ については,菊池先生との共著論文「Gödelの不完全性定理を巡る三つの断章」で触れています. https://t.co/9CiohqU2IR ただし統一的な分析は十分には行えていないという現状ですね.