17/08/30 21:53:09.14 AO/DC5KX.net
俺は、ゲーデルの不完全性定理の証明を理解するのが最近の道楽目標。高校生のときには挫折した。
今は頭が回らないけど時間の余裕はあるのが強み。
完全性定理は何とか証明を読み終えた。
尤も前提の公理や恒真式が自明でないので納得とは言いがたいのだが。
17/08/30 21:53:09.14 AO/DC5KX.net
俺は、ゲーデルの不完全性定理の証明を理解するのが最近の道楽目標。高校生のときには挫折した。
今は頭が回らないけど時間の余裕はあるのが強み。
完全性定理は何とか証明を読み終えた。
尤も前提の公理や恒真式が自明でないので納得とは言いがたいのだが。