5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

§慶應通信君と行く、慶應マンセースレ§

413 :(^0^) ◆xgQR/M41Sk :04/05/09 20:58 ID:xHPG+Nwz
>>411
ああ、それちょっとゲーデルの話を誤解してる。

彼が問題提起したのは、あくまで
「ある体系の完全性をその体系内だけで定義・証明することは不可能」
ってだけです。

だから、体系自体を拡張していけばいいし、その為に科学の進展がある。
数学に関しても、工学や物理学からのフィードバックで発展した分野あるよ(^0^)。

卑近な例で言えば、グラフ理論とか、組み合わせ最適化なんてそうだね。

350 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)