数学の哲学と数学的宇宙仮説間の類似点
数学の哲学と数学的宇宙仮説は(ユニオンペディアに)共通で5ものを持っています: 存在論、形式体系、形而上学、クルト・ゲーデル、ゲーデルの不完全性定理。
存在論
存在論(そんざいろん、ontology、Ontologie)は、哲学の一部門。さまざまに存在するもの(存在者)の個別の性質を問うのではなく、存在者を存在させる存在なるものの意味や根本規定について取り組むもので、形而上学ないしその一分野とされ、認識論と並ぶ哲学の主要分野でもある。.
存在論と数学の哲学 · 存在論と数学的宇宙仮説 ·
形式体系
形式体系(けいしきたいけい、Formal System)は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係(論理包含)は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野(例えばユークリッド幾何学)の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学(倫理学)書である。 形式体系には形式言語があり、その形式言語は基本的な記号(シンボル)で構成される。形式言語の文(式)は公理群を出発点として、所定の構成規則(推論規則)に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。 数学における形式体系は以下の要素から構成される.
形而上学
形而上学(けいじじょうがく、μεταφυσικά、Metaphysica、Metaphysics、métaphysique、Metaphysik)は、感覚ないし経験を超え出でた世界を真実在とし、その世界の普遍的な原理について理性的な思惟によって認識しようとする学問ないし哲学の一分野である『岩波哲学小事典』「形而上学」の項目。世界の根本的な成り立ちの理由(世界の根本原因)や、物や人間の存在の理由や意味など、見たり確かめたりできないものについて考える。対立する用語は唯物論である『岩波哲学小事典』「形而上学」の項目。他に、実証主義や不可知論の立場から見て、客観的実在やその認識可能性を認める立場『岩波哲学小事典』「形而上学」の項目や、ヘーゲル・マルクス主義の立場から見て弁証法を用いない形式的な思考方法のこと『岩波哲学小事典』「形而上学」の項目。.
クルト・ゲーデル
ルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
クルト・ゲーデルと数学の哲学 · クルト・ゲーデルと数学的宇宙仮説 ·
ゲーデルの不完全性定理
ーデルの不完全性定理(ゲーデルのふかんぜんせいていり、)又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
上記のリストは以下の質問に答えます
- 何数学の哲学と数学的宇宙仮説ことは共通しています
- 何が数学の哲学と数学的宇宙仮説間の類似点があります
数学の哲学と数学的宇宙仮説の間の比較
数学的宇宙仮説が29を有している数学の哲学は、197の関係を有しています。 彼らは一般的な5で持っているように、ジャカード指数は2.21%です = 5 / (197 + 29)。
参考文献
この記事では、数学の哲学と数学的宇宙仮説との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: