24/05/08 18:15:34.62 c0TH2Ddg.net
今日見つけた怪しい書き込み
>1.ラッセルのパラドックスの発見(1902年)
>1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
>このパラドックスは、通常の論理学では回避できないことが判明し、
>哲学に大きな衝撃を与えました。
>2.ラッセルによる新しい論理学の構築(1903年~)
>1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
>自己と自己言及を明確に区別して混同しないルールを導入し、
>パラドックスが起こらない新しい論理学の仕組みを構築しました。
>4.ゲーデルの不完全性定理(1931年)
>1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、
>「論理学によって仮定そのものの正しさをその仮定から証明できるか?」を考察しました。
>ゲーデルは、それが不可能であることを証明しました(ゲーデルの第一不完全性定理)。
>この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、
>後にロッサーの証明ではペアノ算術における単純無矛盾性、
>シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して
>無矛盾性の証明が不可能であることまで拡張されました。