質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.47%
teratail

teratail(テラテイル)は、プログラミングに特化した日本語Q&Aサイトです。

Q&A

1回答

1071閲覧

ゲーデルの不完全性定理によると、すべての考えを正確に完全に客観的に正しいか判定できない。 よって、あなたは正しいとは限らない。

退会済みユーザー

退会済みユーザー

総合スコア0

teratail

teratail(テラテイル)は、プログラミングに特化した日本語Q&Aサイトです。

0グッド

0クリップ

投稿2022/03/18 03:26

ゲーデルの不完全性定理によると、すべての考えを正確に完全に客観的に正しいか判定できない。
よって、あなたは正しいとは限らない。
この定理は私の5ch生活を狂ったが、私はこの定理を排除した数学の理論を研究して欲しい。

Gödel's incompleteness theorems

1ゲーデルの不完全性定理 2出典: フリー百科事典『ウィキペディア(Wikipedia)』 3ナビゲーションに移動検索に移動 4ゲーデルの不完全性定理(ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz)または不完全性定理とは、数学基礎論の重要な定理[1](数学基礎論は数理論理学や超数学とほぼ同義な分野で、計算機科学〔コンピュータ科学〕と密接に関連している[2])。クルト・ゲーデルが1931年の論文で証明した定理であり[3]、有限の立場(形式主義)では自然数論の無矛盾性の証明が成立しないことを示す[2][3]。なお、少し拡張された有限の立場では不完全性定理は成立せず、自然数論の無矛盾性の証明が成立する(ゲンツェンの無矛盾性証明)[2]。 5 6計算機科学者(コンピュータ科学者)・論理学者のトルケル・フランセーン[4]および数学者・論理学者の田中一之[4]によると、不完全性定理が示したものは数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[5]。すなわち不完全性定理以降の時代にも、数学上の意味で「完全」な理論は存在し続けているが[5]、“不完全性定理は数学や理論の「不完全性」を証明した”というような誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[6]。 7 8「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照 9数学の「無矛盾性」を証明することを目指したヒルベルト・プログラムに関して「不完全性定理がヒルベルトのプログラムを破壊した」という類の哲学的発言はよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる、とフランセーン達は解説している[7]。正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的(「無矛盾性証明」)を実現するためには手段(ヒルベルト・プログラム)を拡張する必要がある、ということだった[7]。日本数学会が言うには「彼〔ゲーデル〕の結果はヒルベルトの企図を直接否定するものではなく,実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」[3]。 10 11「不完全性定理によるヒルベルト・プログラムの発展」も参照

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ゲーデルの不完全性定理によると、すべての考えを正確に完全に客観的に正しいか判定できない。
よって、私は正しいとは限らない。
よって、ゲーデルの不完全性定理は正しいとは限らない。
よって、私は私自身を正しい可能性がある。

投稿2022/03/18 03:46

退会済みユーザー

退会済みユーザー

総合スコア0

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.47%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問