[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
122: 2024/05/23(木)07:08:17.29 ID:57Sqch+C(78/218) AAS
もちろんローマ法のディゲスタに証明責任の原則が書かれた理由は
ありもしないでっち上げの訴訟を起こしてくるのに訴えられた方が反証しなければならないなど全く無意味だからだwwwww
183(1): 2024/05/23(木)08:56:03.29 ID:57Sqch+C(126/218) AAS
>>181
その後、不完全性定理はさらに強力な形に一般化されていきました。
菊池-倉橋(2017)は、算術のΣn-definable理論に対してゲーデルとロッサーの不完全性定理を一般化しました。任意の無矛盾なΣn+1-sound理論はΠn+1文で不完全であり、Πn+1-definableな理論の場合は任意のΠn+1文が無矛盾ならば証明不可能であることを示しました。
さらにヴィッサー(2020)は、ゲーデルの第二不完全性定理を導出可能性条件を満たすような一般的な述語論理の体系に拡張しました。PA自身の無矛盾性よりずっと弱い仮定から不完全性が導けることを示したのです。
このように現在でも不完全性定理の適用範囲はどんどん拡張されており、論理学の広い領域をカバーするようになっています。どこまでが限界なのかはまだわかっていませんが、ゲーデルの革新的な発想が驚くほど広範な論理体系に通用することが明らかになってきたと言えるでしょう。
www.jstage.jst.go.jp/article/sugaku/73/1/73_0731060/_pdf/-char/ja
361(1): 2024/05/25(土)07:49:33.29 ID:VeOj487N(5/136) AAS
ゲーデル完全な系はユークリッド幾何学すら作れんから意味ない
372(3): 2024/05/25(土)14:59:52.29 ID:43OvMs57(3/67) AAS
ポパーはヘーゲルやマルクスの歴史法則を否定したのであって
歴史法則そのものの存在の可能性については否定していないだろう
歴史法則が存在するという仮説に対する彼の賛否について承知していない
もちろん賛成しようがしまいが個人的感想でしかないが
417(2): 2024/05/25(土)16:03:48.29 ID:43OvMs57(18/67) AAS
>>413
危機に際して、高学歴なだけの無能を優遇してさしあげる理由がない
479: 2024/05/25(土)16:47:16.29 ID:VeOj487N(80/136) AAS
>>474
### ミチューリンのヤロビ農法とルイセンコの影響：情報効率性の低さと中央集権制の欠陥
#### ミチューリンのヤロビ農法とルイセンコ
ミチューリンのヤロビ農法は、ソ連時代の農業政策において非常に重要な役割を果たしました。この農法は、イワン・ミチューリンによって提案されたもので、植物の寒冷地適応を促進するための技術です。しかし、この農法を広範囲にわたって採用し、反対論者を粛清したトロフィム・ルイセンコの政策が、ソ連の農業に壊滅的な影響を与えました。
#### ルイセンコの政治的影響
トロフィム・ルイセンコは、1930年代から1950年代にかけてソ連の農業科学の主導者となりました。彼は、メンデルの遺伝学を否定し、環境要因によって植物の性質を変えることができるという理論（ルイセンコ主義）を提唱しました。この理論は、スターリンの支持を受けてソ連の公式政策となり、反対論者を政敵として粛清することで、科学界における異論を抑え込みました。
#### 中央集権制と誤った政策
省7
578: 2024/07/15(月)23:29:20.29 ID:cEol4Skn(1) AAS
普通に試合やるだけなら別人じゃね？って思いながら見ているかのせめぎ合い
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s