[過去ログ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね? (645レス)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね? http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
24: 132人目の素数さん [] 2024/05/18(土) 15:41:21.85 ID:DX4iEGUb 無限の数え方の問題。選択公理と関係あり http://rio2016.5ch.net/test/read.cgi/math/1715891446/24
113: 132人目の素数さん [sage] 2024/05/23(木) 07:02:31.85 ID:57Sqch+C バカがググってバカペディア眺めての日本語版には書かれてないけど 英語版にはちゃんと科学や哲学の証明責任も書かれてるんだけどねwwwwwmmmmw http://rio2016.5ch.net/test/read.cgi/math/1715891446/113
120: 132人目の素数さん [sage] 2024/05/23(木) 07:06:54.85 ID:57Sqch+C つまりお前は物事の本質を自分の頭で考えたことがない中卒無職 ググってバカペディア3行眺めてわかったつもりになってるだけ http://rio2016.5ch.net/test/read.cgi/math/1715891446/120
201: 132人目の素数さん [sage] 2024/05/23(木) 09:15:23.85 ID:57Sqch+C >>195 ### 証明の概要 Σ₁集合と再帰的可算集合の一致は以下のステップで証明されます: 1. **Σ₁集合は再帰的可算集合**: 存在量化子のみを先頭に持つ形式の論理式で定義された集合は、その要素を列挙するアルゴリズムを構築できます。これは、その論理式が「ある自然数 n₁, n₂, ..., nk が存在して、条件 ϕ が成り立つ」という形を持つためです。このようなアルゴリズムは、全ての可能な n₁, n₂, ..., nk を試行し、条件 ϕ を満たすかをチェックします。したがって、Σ₁集合は再帰的可算集合です。 2. **再帰的可算集合はΣ₁集合**: 再帰的可算集合は、その要素が属する場合にそれを示すアルゴリズムが存在します。これは、アルゴリズムが入力を受け取って、それが属する場合に停止して「はい」と答えることを意味します。このアルゴリズムの動作は、存在量化子の連鎖で表現できます。つまり、「ある計算ステップ t が存在して、計算が停止し、入力が集合に属することを示す」という形式になります。これにより、再帰的可算集合もΣ₁集合として表現できます。 http://rio2016.5ch.net/test/read.cgi/math/1715891446/201
332: 132人目の素数さん [] 2024/05/23(木) 20:38:52.85 ID:HRzgfUWs 🐒のID:57Sqch+Cが今日も恥ずかしげもなくキャッキャと吠えとる 知能がないって幸せなんだな http://rio2016.5ch.net/test/read.cgi/math/1715891446/332
368: 132人目の素数さん [sage] 2024/05/25(土) 11:25:20.85 ID:VeOj487N >>367 ポパーをDSM-5-TRで診断してみた ### 精神医学的評価:科学をやったこともない素人が「科学的発見の論理」という本を書く行為 #### 関連する精神疾患 以下に、「科学をやったこともない素人が、科学者に取材もせずに『科学的発見の論理』という本を書く」という行為に関連する可能性のある精神疾患を、DSM-5-TRの診断基準に基づいて検討します。 #### 1. 自己愛性パーソナリティ障害(Narcissistic Personality Disorder, NPD) **診断基準**: 自己愛性パーソナリティ障害の診断には、以下の特徴のうち5つ(またはそれ以上)を満たす必要があります: 1. 誇大な自己重要感(例:業績や才能を誇張し、十分な実績がないにもかかわらず優れていると認められることを期待する)。 2. 無限の成功、権力、輝き、美、または理想的な愛についての空想にとらわれる。 3. 自分が特別で独特であり、他の特別な高地位の人々(または機関)しか理解できない、または関わるべきではないと信じる。 4. 過度の称賛を必要とする。 5. 特別な待遇や自動的な従順を当然とする感覚(例:不合理な期待)。 6. 他人を利用する(例:自身の目的を達成するために他人を利用する)。 7. 他者の感情やニーズを認識または同一視する意欲の欠如。 8. 他人に対する羨望、または他人が自分に対して羨望していると信じる。 9. 傲慢で横柄な行動または態度。 **適用可能性**: この行為は、以下の基準に該当する可能性があります: - **誇大な自己重要感**:自分の科学的知識や能力を誇張し、実際には持っていない専門知識を主張する。 - **過度の称賛の必要**:自分が特別な洞察を持っていると信じ、称賛されることを期待する。 - **特別な待遇の期待**:科学者としての特別な扱いを期待する。 - **他者の感情やニーズを認識しない**:科学者や専門家の意見や感情を無視する。 - **傲慢で横柄な態度**:自分の意見が他者よりも優れていると信じる態度。 http://rio2016.5ch.net/test/read.cgi/math/1715891446/368
484: 132人目の素数さん [] 2024/05/25(土) 16:52:37.85 ID:43OvMs57 そもそも学歴なるものにすがりたがる人はさほど賢くない http://rio2016.5ch.net/test/read.cgi/math/1715891446/484
533: 132人目の素数さん [sage] 2024/05/25(土) 17:28:49.85 ID:VeOj487N >>530 体系内 - 自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味 - 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)→ゲーデルの第一不完全性定理により不可能 体系外 - 科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致→唯一残された可能で非自明(意味のある)な正しさ http://rio2016.5ch.net/test/read.cgi/math/1715891446/533
592: 132人目の素数さん [] 2024/08/09(金) 01:27:00.85 ID:280E2cbm すみません 日和ってますね。 これ今読むとスレタイageの口実だよね?ね? https://i.imgur.com/hxc8pzV.jpg http://rio2016.5ch.net/test/read.cgi/math/1715891446/592
600: 132人目の素数さん [sage] 2024/08/19(月) 20:32:59.85 ID:PV1ixKYP フラフラ運転→ブレーキ痕はなかった って言ってどか食いしたいからなんてとうの昔に通り過ぎているな http://rio2016.5ch.net/test/read.cgi/math/1715891446/600
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.621s*