[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
28: １３２人目の素数さん [] 2024/05/22(水) 21:14:58.01 ID:miO/vkcS >>26 自分が分かってないことをコピペしてひけらかすことで 他人を小馬鹿にしようとするのはもはや●人である http://rio2016.5ch.net/test/read.cgi/math/1715891446/28
78: １３２人目の素数さん [sage] 2024/05/23(木) 06:45:07.01 ID:57Sqch+C >>72 ダメだよポパーなんて読んだことすらないのに知ったかぶりしちゃw http://rio2016.5ch.net/test/read.cgi/math/1715891446/78
95: １３２人目の素数さん [] 2024/05/23(木) 06:53:40.01 ID:HRzgfUWs ＞科学論文に書いていいのは ＞「いま考えてる物理法則で測定した範囲のことだけ法則が成り立つと言えるよ」 ＞ということだけ というかそもそも科学がやってることって 「いままで分かったことを包括的に説明できる原理ってどんなん？」 っていうのをあーでもないこーでもないと試行錯誤すること ここでいう原理はあくまで作業仮説であって絶対不変のドグマなんかではない http://rio2016.5ch.net/test/read.cgi/math/1715891446/95
204: １３２人目の素数さん [sage] 2024/05/23(木) 09:32:14.01 ID:57Sqch+C >>203 再帰的集合（recursive set）がΣ₁集合かつΠ₁集合であることについて説明します。 ### 再帰的集合の定義 再帰的集合 \(R\) は、その要素が集合に属するかどうかを決定するアルゴリズムが存在する集合です。これは、任意の要素 \(x\) に対して、有限時間内に「はい」または「いいえ」と答えるアルゴリズムが存在することを意味します。 ### Σ₁集合の定義 Σ₁集合 \(S\) は、次の形式の論理式で定義される集合です： \[ S = \{ x \mid \exists n_1 \exists n_2 \ldots \exists n_k \, \varphi(n_1, n_2, \ldots, n_k, x) \} \] ここで、\(\varphi\) は量化子を含まない（開）論理式です。 ### Π₁集合の定義 Π₁集合 \(P\) は、次の形式の論理式で定義される集合です： \[ P = \{ x \mid \forall n_1 \forall n_2 \ldots \forall n_k \, \psi(n_1, n_2, \ldots, n_k, x) \} \] ここで、\(\psi\) は量化子を含まない（開）論理式です。 ### 再帰的集合がΣ₁集合であることの証明 再帰的集合 \(R\) は、その要素が集合に属するかどうかを決定するアルゴリズムが存在するため、次のように存在量化子を使って表現できます： \[ R = \{ x \mid \exists n \, (\text{アルゴリズムが } n \text{ ステップ以内に } x \text{ が } R \text{ に属することを示す}) \} \] ここで、\(\text{アルゴリズムが } n \text{ ステップ以内に } x \text{ が } R \text{ に属することを示す\) という条件は量化子を含まない論理式で表現できます。このため、再帰的集合はΣ₁集合です。 http://rio2016.5ch.net/test/read.cgi/math/1715891446/204
310: １３２人目の素数さん [sage] 2024/05/23(木) 19:45:51.01 ID:57Sqch+C >>309 博士号持っててすまんのうwwwww 年収1000万超えてて>>178すまんのうwwww くやちいのうwwww低学歴ってwwww 死にたくならんの？ん？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/310
322: １３２人目の素数さん [sage] 2024/05/23(木) 20:22:57.01 ID:57Sqch+C >>319 どうして人間の知能がないのに生きてられるの？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/322
347: １３２人目の素数さん [sage] 2024/05/24(金) 06:27:21.01 ID:s5QT/GS3 何も革新的ではなくて単に無知でバカだから間違ってるだけwwwwww http://rio2016.5ch.net/test/read.cgi/math/1715891446/347
373: １３２人目の素数さん [sage] 2024/05/25(土) 15:00:37.01 ID:VeOj487N >>371 だから実験による現実との比較しか非自明な正しさはあり得ない すなわち科学は唯一の非自明な正しさの方法である http://rio2016.5ch.net/test/read.cgi/math/1715891446/373
396: １３２人目の素数さん [sage] 2024/05/25(土) 15:41:57.01 ID:VeOj487N >>394 核融合なんて実現しなくても問題ない バイオエタノール作れば良いだけ 太陽の核融合エネルギーは無限だし バイオエタノールは夜も曇りの日も使える バカが死んで余った土地でバイオエタノール原料をAIロボットが生産すれば良い つまりお前が死ぬだけで何も問題ない http://rio2016.5ch.net/test/read.cgi/math/1715891446/396
471: １３２人目の素数さん [sage] 2024/05/25(土) 16:44:18.01 ID:VeOj487N >>470 資本主義の本質は神の見えざる手 すなわちこの世界に需要がない人間は生まれてくることすら出来ない 産む金も育てる金も無いからだ http://rio2016.5ch.net/test/read.cgi/math/1715891446/471
616: １３２人目の素数さん [] 2024/08/19(月) 22:46:59.01 ID:/+kakf2U >>483 4本つかうから困る http://rio2016.5ch.net/test/read.cgi/math/1715891446/616
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s