[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
19: １３２人目の素数さん [] 2024/05/17(金) 17:14:15.86 ID:I4xxpoEn >>17 その文章は私も読んだ ゲーデルの論文がノイマン型コンピュータにいかほど影響を与えたかは定かではないが ノイマンがゲーデルの不完全性定理の意義を初期の段階から見出していたことは明らかである http://rio2016.5ch.net/test/read.cgi/math/1715891446/19
63: １３２人目の素数さん [sage] 2024/05/23(木) 06:38:43.86 ID:57Sqch+C >>61 実験と論理式が一致してれば正しいんだよ低学歴wmmwwww http://rio2016.5ch.net/test/read.cgi/math/1715891446/63
166: １３２人目の素数さん [sage] 2024/05/23(木) 08:45:52.86 ID:57Sqch+C >>164 怠けて低学歴無職になったクズの言い訳wwwwwmww 自殺しろ中卒無職(中卒と言っても不登校ニートで中学校の授業を受けてないお情け卒業証書だから知能が小学校低学年レベル)wwwwww http://rio2016.5ch.net/test/read.cgi/math/1715891446/166
174: １３２人目の素数さん [sage] 2024/05/23(木) 08:52:02.86 ID:57Sqch+C >>172 ちなみにゲーデルはゲーデルの第一不完全性定理の意味を正しく理解できてませんwwww なぜならあらゆる思考も物理現象も>>31-44のように形式化されゲーデルの第一不完全性定理が適用可能なことをゲーデル自身は知らなかったからw http://rio2016.5ch.net/test/read.cgi/math/1715891446/174
175: １３２人目の素数さん [sage] 2024/05/23(木) 08:52:15.86 ID:57Sqch+C >>172 様相論理が条件付き確率で形式化できることなどカルナップも指摘してるけど ゲーデルはこんなの何にも知らなかったからねwwwmmmmw ttps://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/273465/1/jps_45_05_403.pdf http://rio2016.5ch.net/test/read.cgi/math/1715891446/175
236: １３２人目の素数さん [sage] 2024/05/23(木) 14:16:45.86 ID:57Sqch+C ttp://www.corelab.ntua.gr/studygroup/Tarski_ElGeom.pdf はい、Tarskiの論文で述べられている初等幾何学と伝統的なユークリッド幾何学は厳密には同一ではありません。以下のポイントで両者の違いが明確になります。 初等幾何学 範囲: 初等幾何学は、ユークリッド幾何学の一部として定義されていますが、集合論的な手法を用いずに定式化される部分に限られます。 形式化: 第一階述論理（first-order predicate calculus）に基づいて形式化され、変数は固定された集合の要素（点）を表します。 公理体系: 初等幾何学には、点の間の関係を表す述語（例: 中間性や等距離性）が使用され、連続性公理も第一階述論理の範囲内で表現されます。 ユークリッド幾何学 範囲: ユークリッド幾何学は、ユークリッドの『原論』に基づき、広範な幾何学的概念と定理を含みます。 形式化: 伝統的なユークリッド幾何学は、第二階述論理（second-order logic）や集合論的手法を含むことがあります。例えば、連続性公理は集合を扱う第二階述の形式で表されることが多いです。 公理体系: より多くの公理や定理が含まれ、点だけでなく直線や平面といった幾何学的図形も扱われます。 主な違い 論理の階層: 初等幾何学は第一階述論理に限定されており、ユークリッド幾何学の一部の概念を含むことができません。特に、連続性公理は第一階述論理の範囲内で再定式化されています。 公理と定理の範囲: 初等幾何学は、ユークリッド幾何学の全ての定理を含むわけではなく、主に点の関係を扱う基本的な部分に焦点を当てています。 つまり、Tarskiの定義する初等幾何学は、ユークリッド幾何学の一部を抽出し、集合論的な要素を排除して第一階述論理で扱える形に再定式化したものです。このため、初等幾何学はユークリッド幾何学の厳密な部分集合と見なすことができます。 http://rio2016.5ch.net/test/read.cgi/math/1715891446/236
253: １３２人目の素数さん [sage] 2024/05/23(木) 15:59:48.86 ID:57Sqch+C >>250 英語の論文とか読んだことすらなさそう http://rio2016.5ch.net/test/read.cgi/math/1715891446/253
488: １３２人目の素数さん [] 2024/05/25(土) 16:54:36.86 ID:43OvMs57 学歴にすがりたくなるのは自らの無能感の現れである もし学歴は有能の証拠などでないと気づけばそれこそが真の賢さへの一歩である http://rio2016.5ch.net/test/read.cgi/math/1715891446/488
516: １３２人目の素数さん [] 2024/05/25(土) 17:11:15.86 ID:43OvMs57 科学の真の意義は 化石燃料バブルが弾けたら もう二度と同じバブルは起きそうもない と知ることかと http://rio2016.5ch.net/test/read.cgi/math/1715891446/516
617: １３２人目の素数さん [] 2024/08/19(月) 22:49:45.86 ID:KmxeMCEk 画質悪すぎてジェイクなのか 浪人でもないゲームをずっと下げるの印象悪いから投壊してるか不思議だ http://rio2016.5ch.net/test/read.cgi/math/1715891446/617
618: １３２人目の素数さん [sage] 2024/08/19(月) 23:12:23.86 ID:bQerp8R8 炎症をおこしやすくなってるしな 健康診断があった https://i.imgur.com/bt6cGIF.jpeg http://rio2016.5ch.net/test/read.cgi/math/1715891446/618
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s