表示名 is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
表示名 @mathmathniconico

不完全性定理の証明を読んでる。キューネンの書き方が上手いのか、単に理解が追いついていないのか、この定理が一般にゲーデル・ショックなどと呼ばれる感覚がいまいち掴めない。

肯定も否定も証明できない命題は別に珍しくもなんともないし、公理を加え続けても完全にならないというのはモデルの豊かさを表しているともとれて、むしろ歓迎されるべきな気が。やっぱ第二かな。

有限の立場から、完全な理論を目指していたのがヒルベルトなんだっけ? それをちょっと揶揄って外部が騒いでるだけだったり? ヒルベルト自身はどう思ってたんだろう。もっとも、ショックという言葉にそもそも否定的な意味はないのかもしれないけど。

· Web · 0 · 2

@mathmathniconico もしかしたら、これのVol.4(C87)が参考になるかも知れません。
forcing.nagoya/

@selpo ありがとうございます。後で読んでみます。