Follow

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

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

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

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

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

Sign in to participate in the conversation
Mathtodon

Post mathematical formulae on Mathtodon. / 数式が書けるSNS、ついに登場。

This is a Mastodon instance named Mathtodon, where you can post toots with mathematical formulae in TeX/LaTeX style. Let's enjoy mathematical talks, mathematical discussions, and mathematical jokes in Mathtodon! Please join us!

数式が書けるMastodon、その名もMathtodonです! (˃̵ᴗ˂̵ ζ) 数式は TeX, LaTeX 形式です。数学の情報発信や数学の議論や数学ギャグの投稿など、様々に楽しみましょう〜!

Donation / ご寄付について

Thankfully I'm getting many inquiries about donation. Although I of course spend some amount of my pocket money such as server fee and domain fee, I think that using your brains to create a gentle world of mathematics is very valuable and is the best donation. If you still want to make a donation, please use here 1BBUzdCuTRavJ5cjwAg6CoJrowDZfFTSgn (Bitcoin).

ありがたくも「寄付はどうすればいい?」というお言葉を数多くいただいています。 もちろんサーバ代・ドメイン代などポケット予算より費やしておりますが、今はそれよりも「数学が好きな人の集まる優しい世界」を構築することに、皆様の頭脳と貴重な時間とほんの少しずつ分けていただければそれが最高の donation だと思います。(←決まった!)

それでもなお donation をお考えという奇特な方は、 1AhmL4t7aqgQzs4ZG1PPcS2uY8Bz39DRQv (Bitcoin) か、あるいはAmazonの謎のリンクをご覧ください。