[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
186: １３２人目の素数さん [sage] 2024/05/23(木) 08:57:05.32 ID:57Sqch+C お前との違いはその結果を出せるかどうかなんだワw http://rio2016.5ch.net/test/read.cgi/math/1715891446/186
205: １３２人目の素数さん [sage] 2024/05/23(木) 09:32:25.32 ID:57Sqch+C >>203 ### 再帰的集合がΠ₁集合であることの証明 再帰的集合 \(R\) は、その要素が集合に属するかどうかを決定するアルゴリズムが存在するため、次のように全称量化子を使って表現できます： \[ R = \{ x \mid \forall n \, (\text{アルゴリズムが } n \text{ ステップ以内に } x \text{ が } R \text{ に属さない場合を示さない}) \} \] ここで、\(\text{アルゴリズムが } n \text{ ステップ以内に } x \text{ が } R \text{ に属さない場合を示さない\) という条件は量化子を含まない論理式で表現できます。このため、再帰的集合はΠ₁集合でもあります。 ### 結論 再帰的集合はΣ₁集合かつΠ₁集合であることが示されました。これは、再帰的集合が存在量化子と全称量化子の両方の形式で表現可能であるためです。 以上が、再帰的集合がΣ₁集合かつΠ₁集合であることの証明です。この内容は「不完全性定理の数学的発展」にも関連して議論されています [oai_citation:1,シェファードソンの表現定理.pdf](file-service://file-oFDn3Fzb9nP0s6Ybw9BIRxGJ) [oai_citation:2,シェファードソンの表現定理.pdf](file-service://file-oFDn3Fzb9nP0s6Ybw9BIRxGJ) [oai_citation:3,シェファードソンの表現定理.pdf](file-service://file-oFDn3Fzb9nP0s6Ybw9BIRxGJ)。 http://rio2016.5ch.net/test/read.cgi/math/1715891446/205
259: １３２人目の素数さん [] 2024/05/23(木) 16:05:02.32 ID:iy+WwMGU ＞俺は95%は取れるから 所詮高校レベルの数学だけどね http://rio2016.5ch.net/test/read.cgi/math/1715891446/259
324: １３２人目の素数さん [sage] 2024/05/23(木) 20:23:16.32 ID:57Sqch+C >>320 自分が人間じゃないなんて耐えられないでしょ 脳が正常なら http://rio2016.5ch.net/test/read.cgi/math/1715891446/324
330: １３２人目の素数さん [sage] 2024/05/23(木) 20:31:12.32 ID:57Sqch+C >>327 脳障害は人間じゃないからね そのために学歴がある http://rio2016.5ch.net/test/read.cgi/math/1715891446/330
343: １３２人目の素数さん [sage] 2024/05/24(金) 04:50:22.32 ID:s5QT/GS3 そもそもセンターとか共通テストの数学で8割すら取れんような脳障害に数学体験ごっこやらせてなんか意味あんのか？ 明らかに必要性と十分性の区別すらついてないだろwww http://rio2016.5ch.net/test/read.cgi/math/1715891446/343
432: １３２人目の素数さん [sage] 2024/05/25(土) 16:13:52.32 ID:VeOj487N >>430 電気が止まれば防犯カメラも止まるので 低学歴を片っ端から刺し殺してく http://rio2016.5ch.net/test/read.cgi/math/1715891446/432
586: １３２人目の素数さん [] 2024/08/09(金) 00:37:36.32 ID:Jd0YgJ/A 超ホワイト企業だったりする 今年の逃げ場終了かよ http://rio2016.5ch.net/test/read.cgi/math/1715891446/586
601: １３２人目の素数さん [] 2024/08/19(月) 21:00:33.32 ID:ccTWQUhW >>233 こういうのてもうエンジンだめでしょ http://rio2016.5ch.net/test/read.cgi/math/1715891446/601
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.158s*