コメント一覧 (2)

1. • 1. S.N.A.
   • 2011年05月04日 20:12
   • 私のツイートは伏字にせんでええよｗ
     http://twitter.com/#!/snags17/statuses/65423414575370240
     
     そういえばtwitterで聞きそびれたのだが、不確定性原理で観測者効果のことをおっしゃってたようだったんだけど、1+1=2の証明とどういうつながりなの？
     Radium Software Developmentの記事（日本語）は問題ないんだけど、その先のサイトである Metamath (http://metamath.org/) などがちんぷんかんぷん。とりあえず1+1=2を純粋に数学的に追っていくととんでもなく深遠なのだなぁということしかわからんかったｗ
2. • 2. skoba
   • 2011年05月06日 09:43
   • 不完全性定理のほうだな。
     
     いや、「充分に大きな体系は、それが無矛盾であることを証明できない」のだから、自分に関係あるところだけ理解しとけばいいんじゃないかというつもり。
     
     集合論が表れて、数学が一変したからねぇ。深いみたいだよ。
     
     ちなみに、俺らおなじみのチューリングマシン＝万能計算機の証明にも集合とか使ってたよね。