>>357
まあそういわずに
>>360
あれは上のほうのレス(公理系とかゲームとか）に対する一つの解答として
だしたもので，数学の思想的なバックボーンを語ったものです.
それに”建前としては”ともことわってあります．

実際意味のない数学では，やる気はうせてしまうでしょう．しかしそうだとすると
ヒルベルトの計画は，とっくに破綻しているともいえます．

>>359
そうきたか，物質概念のない生物までは考えたのだが
チューリング試験を突破したコンピュータは概念をもっているのだろうか

>>352
以前『ゲデル，エッシャー，バッハ』という本で，それなりの証明をよんだの
ですが，wikipediaなどの説明を読んでもまるでおぼえていない．でもなかなか
よい本でしたよ．