08/03/05 00:11:50 eZsxOVENO
>>456
でも、クルト・ゲーデルは不完全性定理を証明した。
不可能であることから何が言えるか考える方が重要であると思われる。
集合論で有名な対角線論法ってのがあるな。
08/03/05 00:11:50 eZsxOVENO
>>456
でも、クルト・ゲーデルは不完全性定理を証明した。
不可能であることから何が言えるか考える方が重要であると思われる。
集合論で有名な対角線論法ってのがあるな。
08/03/05 00:11:50 eZsxOVENO
>>456
でも、クルト・ゲーデルは不完全性定理を証明した。
不可能であることから何が言えるか考える方が重要であると思われる。
集合論で有名な対角線論法ってのがあるな。