[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
223: １３２人目の素数さん [sage] 2024/05/23(木) 14:06:20.99 ID:C5I/LwRF >>221 >博士だとどの専攻でも先行研究を調べて理解して新規性のある提案ができる >つまりどんな新分野でもマスターできる方法を知ってる >>222 >どんな研究でもやり終えたら新規性が無くなるから常に新しい事を理解しなきゃ研究は継続できない >そういう継続ができる状態が博士なので >知らん分野でも手を出せる >単にかかる時間の違い その主張に対する反例が君自身 君、数学専攻だとしても、ロジックが専門ではないでしょ そして、君、ロジックがマスターできてない うっすらわかっただけでは研究できないよ 君の人生が尽きるまでに間に合うかなあ・・・ http://rio2016.5ch.net/test/read.cgi/math/1715891446/223
226: １３２人目の素数さん [sage] 2024/05/23(木) 14:08:38.51 ID:C5I/LwRF まあ、でも223はニセの反例だろうな だって、ID:57Sqch+C ほんとは理学博士じゃないでしょ http://rio2016.5ch.net/test/read.cgi/math/1715891446/226
229: １３２人目の素数さん [sage] 2024/05/23(木) 14:10:29.45 ID:C5I/LwRF >>224 >数学ならガチれば2ヶ月でマスターできるとわかってる ほんとの理学博士はこういうハッタリは言わない http://rio2016.5ch.net/test/read.cgi/math/1715891446/229
231: １３２人目の素数さん [] 2024/05/23(木) 14:12:50.81 ID:C5I/LwRF >>225 >非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性) 上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/231
234: １３２人目の素数さん [] 2024/05/23(木) 14:14:18.93 ID:C5I/LwRF >>225 >科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致 現実世界を「体系」って言っちゃう時点で、論理分からん素人って分かるなあ http://rio2016.5ch.net/test/read.cgi/math/1715891446/234
237: １３２人目の素数さん [] 2024/05/23(木) 14:17:34.61 ID:C5I/LwRF >>225 > 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性) >>231 >>上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？ >>233 > そういうゲーデル完全な系は考える意味がない ゲーデル完全？なにその新奇語 君にとって、ZFCは考える意味ないのね 一般連続体仮説もその否定も「非自明に正しい」（つまり矛盾を導かない）から http://rio2016.5ch.net/test/read.cgi/math/1715891446/237
238: １３２人目の素数さん [sage] 2024/05/23(木) 14:20:33.20 ID:C5I/LwRF >>230 > 数学ならガチれば2ヶ月でマスターできるとわかってる >>ほんとの理学博士はこういうハッタリは言わない > 実体験だからなあ ニセ博士の素人の妄想ですけどね http://rio2016.5ch.net/test/read.cgi/math/1715891446/238
239: １３２人目の素数さん [sage] 2024/05/23(木) 14:24:17.75 ID:C5I/LwRF >>237 もうちょっと正確に書いたほうがいいな ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」 （非自明に正しい＝無矛盾、と定義した場合） http://rio2016.5ch.net/test/read.cgi/math/1715891446/239
240: １３２人目の素数さん [sage] 2024/05/23(木) 14:32:03.27 ID:C5I/LwRF ＞自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味 この理屈でいうと、数学は当たり前で無意味、ということになる なぜなら 数学の証明とは、公理⇒定理がトートロジーであることの提示でしかないから （実際にはかなりはしょっているので、ミスが発生することは多々ある） http://rio2016.5ch.net/test/read.cgi/math/1715891446/240
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s