- 78 名前：１３２人目の素数さん mailto:age [04/12/12 23:45:47]
- >>67
そういうのってどうやって調べたら良いんだろう？
やっぱ原論文の著者名を確認したりしないと駄目？
>>71
集合論が意味を持った理論なら、集合論の言葉を用いて、
「理論Tのモデル」とかの術語が定義できて、
「ある構造（というか集合）がある理論のモデルになっていること」が
定義でき、証明できる、という事です。
究極的には記号の羅列と見做せるような形式的な理論が意味を持つのはなぜだろう？
そもそも本当にそのような理論が意味を持つのだろうか？とかいった疑問は、
分析哲学とかを勉強してくださいです。その種の問題意識は数学の範疇ではありません。
>>72
書いてる人が全然分かってないだけです。不完全性定理とかも多分巷間の
トンデモ本程度の理解しかないんでしょう。
ってか誰かこの金沢大学の教員も大変だな。。。
こんなDQNも教えないといけないなんて
