数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
2(3): 2023/10/06(金)22:40 ID:tsskr+sA(2/3) AAS
基礎論村へようこそ
197(1): 2024/05/08(水)18:15 ID:c0TH2Ddg(1/2) AAS
今日見つけた怪しい書き込み
>1.ラッセルのパラドックスの発見（1902年）
>1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
>このパラドックスは、通常の論理学では回避できないことが判明し、
>哲学に大きな衝撃を与えました。
>2.ラッセルによる新しい論理学の構築（1903年〜）
>1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
>自己と自己言及を明確に区別して混同しないルールを導入し、
>パラドックスが起こらない新しい論理学の仕組みを構築しました。
>4.ゲーデルの不完全性定理（1931年）
>1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、
>「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
>ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
>この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、
>後にロッサーの証明ではペアノ算術における単純無矛盾性、
>シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して
>無矛盾性の証明が不可能であることまで拡張されました。
329: 2024/05/19(日)09:32 ID:MeSZkcgn(2/8) AAS
>>325
>2そうするとなんかうまくいったから
何でうまくいくのかよくわからなくて
438: 2024/08/29(木)23:41 ID:5Aqw0+0Y(1) AAS
>>2
スポーツ関係ないで木10の視聴率の低さや報道の自由」ランキング71位のチーム経験ある選手少ないから本当に天狗になって特大姿見買ってしまった悲しいエンジンが集うスレです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.036s