ゲーデル博士に対するフォン・ノイマンの賛辞
■ このスレッドは過去ログ倉庫に格納されています
0001名無し
NGNG空間と時間を遠く離れたところでも目にすることのできる目標物であり
ます。・・・論理学の主題はゲーデルの業績によって、はっきりと完全
にその性質と可能性を変えました。・・・これが哲学的原理とか知的態
度ではなく、極端に複雑な種類の厳密な数学的証明の結果だということ
です。 ・・
私がこれまで話してきた説明は結果のあらましで、厳密な証明でのす
ばらしい点のいくつかを無視しているかもしれません。しかし、形式的
論理学のむずかしい専門用語に頼らないでその定理を述べようとすると
、これが説明しうるもっともよい概要ではないかと思っています。
ゲーデルが実際に証明したこの定理は、数学だけに関係しているもの
ではなく、現代論理学の言葉で形式化しうる、すなわち厳密で徹底的な
記述をもったすべての体系についてのものなのです。つまりそのような
どんな体系であっても、内部矛盾していないことを、その体系自身の方
法では示すことができないのです。
0002名無しさん
NGNG0003名無しさん
NGNG0004名無しさん
NGNG0005名無し
NGNG0006＞5
NGNG0007名無し
NGNG0008哲学初心者（ドキュンかもしれない？）
NGNGだそうですが・・・クルト・ゲーデルを専門に扱っている哲学科などは
ありますか？
0009名無しさん＠１周年
NGNG■ このスレッドは過去ログ倉庫に格納されています