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