数学の統一理論 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2023年8月） 正確性に疑問が呈されています。（2023年10月） 出典検索?: "数学の統一理論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 数学の統一理論（すうがくのとういつりろん、英: unified theory of mathematics）に到達するためのいくつかの試みが歴史的に行われてきた。数学者は、すべての主題（科目）は一つの理論に収まるべきであるという明確な展望を抱いている。[要出典] 歴史的側面[編集] 統一化のプロセスには、統制のための規律として「数学を構成するところのものは何であるのか」を定義することが一つの助け
位相多様体 - Wikipedia
位相幾何学という数学の分野において、位相多様体（いそうたようたい、英: topological manifold）とは、以下に定義される意味で実 n 次元空間に局所的に似ている（分離空間でもある）位相空間である。位相多様体は数学全般に応用を持つ位相空間の重要なクラスをなす。 「多様体」は位相多様体を意味することもあるし、より多くは、追加の構造を持った位相多様体を指す。例えば可微分多様体は可微分構造を備えた位相多様体である。任意の多様体は、単に追加の構造を忘れることによって得られる、台となる位相多様体を持つ。多様体の概念の概観はその記事に与えられている。この記事は純粋に多様体の位相的側面に焦点を当てる。 定義[編集] 位相空間 X が局所ユークリッド的 (locally Euclidean) とは、非負整数 n が存在して、X の任意の点がユークリッド空間 En（あるいは同じことだが実 n
宇宙の形 - Wikipedia
宇宙の形（うちゅうのかたち、英: shape of Universe）は、宇宙の幾何学を記述する宇宙物理学のテーマの一つのくだけた呼び名である。宇宙の幾何学は局所幾何と大域幾何の両方からなる。宇宙の形は、おおざっぱには曲率と位相幾何学により分けられ、厳密にはその両方の範疇をはみ出ている。より形式には、このテーマは、どの3-多様体が、4次元の時空の共動座標（英語版）の空間区分に対応するのかを調べることにある。 時空の形、宇宙の曲率、時空の曲率とも呼ばれる。 導入[編集] 宇宙の形の考え方は、2つに分けられる。1つは、宇宙のどこでも、とりわけ観測可能な宇宙の曲率に関連した局所幾何（英: local geometry）であり、もう1つは、「観測可能とは限らない」宇宙全体の位相幾何学に関連した大域幾何（英: global geometry）である。 宇宙研究者は、通常、共動座標系と呼ばれる、時空の
神の存在証明 - Wikipedia
前3者は、カントが『純粋理性批判』の第三章「純粋理性の理想」において中世以来の神の存在証明に対する反論のために独自にまとめたものである。 目的論的証明[編集] 目的論的証明とは、例えば、「世界と自然の仕組みの精巧さや精妙さは、人間の思考力や技術を超えている」という考えを前提とし、「世界にこのような精巧な仕組みや因果が存在するのは、『人知を超越した者』の設計が前提になければ説明がつかない、つまり、神は存在する」という主張による証明である。 これはカントにおいては自然神学的証明とも呼ばれる。 本体論的証明[編集] アンセルムスやデカルトが、このような形の神の存在証明を試みたので有名である。この証明はいくつかのヴァリエーションを持つが、「存在する」という事態を属性として捉え、例えば次のような論理を展開する。 まず、「可能な存在者の中で最大の存在者」を思惟することができる。ここで、「任意の属性Pを
アブストラクト・ナンセンス - Wikipedia
アブストラクト・ナンセンス（英：abstract nonsense、抽象的ナンセンス）とは、圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。 この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。なおスティーンロッド自身、圏論的視点を築いた一人である。この表現は軽蔑的な称号というよりは、数学的（特に圏論的）にいかに洗練されているか、クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。 数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義
正の数と負の数 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2019年1月） 数学における正の数（せいのすう、英: positive number, plus number, above number; 正数）は、0より大きい実数である。対照的に負の数（ふのすう、英: negative number, minus number, below number; 負数）は、0より小さい実数である。とくに初等数学・算術や初等数論などの文脈によっては、（暗黙の了解のもと）特に断りなく、より限定的な範囲の正の有理数や正の整数という意味で単に「正の数」と呼んでいる場合がある。負の数も同様である。 関数[編集] 符号関数[編集] 定義域が実数であり、正数に対して1を、負数に対して−1を、
鏡像 - Wikipedia
鏡像（きょうぞう）とは一般的な意味では、鏡に映った像のこと。一般的な意味での鏡像は、数学的意味での鏡像と、光の反射の性質によってつながっている。鏡面が完全に平坦ならば鏡像は元の図形と合同になるが、凹面鏡や凸面鏡のように曲面の場合はその限りではない。 数学での鏡像[編集] 鏡映とも言う。鏡像も鏡映も2つの点や図形の間の関係を指す。また元の点や図形をその関係にある相手に移す操作(鏡映操作)を指す。その関係にある相手の図形のことをも指すが、この意味では鏡像または鏡像体がよく用いられる。 狭義には、n次元ユークリッド空間にひとつのn-1次元空間(超平面)を定めたとき、ある点をこの超平面に対して対称な点に写像する操作を言う。ここで対称な点とは、この超平面に対する垂線上にあり、垂線と超平面との交点からの距離が等しい2点のことを指す。また、この操作で互いに移る2点間の関係、つまり超平面に対して対称な点同
人間原理 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "人間原理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2008年3月） 人間原理（にんげんげんり、英語: anthropic principle）とは、物理学、特に宇宙論において、宇宙の構造の理由を人間の存在に求める考え方。「宇宙が人間に適しているのは、そうでなければ人間は宇宙を観測し得ないから」という論理を用いる。これをどの範囲まで適用するかによって、いくつかの種類がある。 人間原理を用いると、宇宙の構造が現在のようである理由の一部を解釈できるが、これを自然科学的な説明に用いることについては混乱と論争がある。 宇宙の物理法則と生命の
Theorema Egregium - Wikipedia
Theorema Egregium（ラテン語。音訳：テオーレーマ・エーグレギウム[注 1]。直訳：卓越した定理[注 2]）はカール・フリードリヒ・ガウスにより証明された定理で、曲面のガウス曲率が曲面の内在的な量（リーマン計量）のみで書ける事を主張する。 日本語では 「最も素晴らしい定理」[7] 「驚異の定理」[8][9] 「Gaussの基本定理」[10] 「抜群の定理」[11] などと訳される事もあるが、egregiumには「驚異の」という意味はない[注 2]。英語では「Remarkable Theorem」（注目すべき定理）と意訳する事もある[12][13][14]。 語源[編集] 「Theorema Egregium」という語はこの定理を示したガウスの原論文から来ている： Formula itaque art. praec, sponte perducit ad egregium TH
数 - Wikipedia
数（かず、すう、英: number）とは、 ものの順序を示す語[1]。また、その記号[1]・数字[1]。 個々の物（もの）や事（こと）が、（全体または一定の範囲で）いくつあるか（あるいは何回おきるか）ということを表すもの[1]。 ITなど特定の分野においては「数値（すうち）」ともいう。 数の概念[編集] 数の体系[編集] 数概念の拡張の歴史 数の概念は人類の歴史とともに、非常に長い年月をかけて、ゆっくりと、徐々に、拡張されてきた。 もっとも素朴な数は、ものの順番や個数としての自然数である。つまり「1, 2, 3, ....」などという数である。 その自然数に加えて、古代バビロニアや古代インドにおいて、現代で言う「ゼロ」に似たような概念を使おうとする人が現れた。なお、「1, 2, 3, 4, 5...」という概念しか知らなかったところに加えて、「ゼロ」という概念を発明し 数を拡張したことは、
)
Constructivism (philosophy of mathematics) - Wikipedia
In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that a
)
直観主義 (数学の哲学) - Wikipedia
数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 来歴と評価[編集] これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワ
直観主義論理 - Wikipedia
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され
排中律 - Wikipedia
排中律（はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu）とは、論理学において、任意の命題 P に対し「P であるか、または P でない」という命題は常に成り立つという原理である。 概要[編集] ラテン語で「第三の命題が排除される原理」 Principium tertii exclusiあるいは「第三の命題（可能性）は存在しない」 Tertium non daturと称され、英語ではLaw of excluded middle（排中律・排中原理・排中法）または Law of the excluded third（排除される第三者の原理[1]、第三者拒斥の原理[2]）と呼ばれる。 排中律は任意の命題Pに対してそれが成り立つか成り立たないかのいずれか一方であって、その中間は無いことを述べた論理学の法則であり、 P ∨ ￢P
結び目理論 - Wikipedia
結び目理論（むすびめりろん、knot theory）とは、紐の結び目を数学的に表現し研究する学問で、低次元位相幾何学の1種である。組合せ的位相幾何学や代数的位相幾何学とも関連が深い。素数と結び目にもエタールホモロジーを導入して密接に関係する。 自明な結び目(左上) や三葉結び目(その下)など、様々な結び目の例。 最も単純で重要な結び目である三葉結び目の正則表示。数学における結び目は閉曲線（両端が一致し連続する弧）である。 導入[編集] たとえば日常で、靴の紐などを蝶結びするとき、ちょっとした違いで縦結びになったり横結びになったりすることはよく知られていることである。このようなとき、結び目理論では、紐の両端をつないで輪の形にすることで、これらの結び目が図形としてどのように異なるか（あるいは同じものなのか）ということを数学的に明らかにすることができる。 一般に、二つの結び目（あるいは絡み目）が
数学の哲学 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2008年2月） 数学の哲学（すうがくのてつがく、英: philosophy of mathematics）は、哲学（科学哲学）の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。 数理哲学（すうりてつがく、英: mathematical philosophy）という用語が、しばしば「数学の哲学」と同義語として使われる[1]。しかしながら、「数理哲学」は、別の意味を少なくとも二つ持っている。一つは、例えばスコラ学の神学者の仕事やライプニッツやスピノザの体系が目標にしていたような、美学、倫理学、論理学、形而上学、神学といった哲学的主題を、その主張するところでは、より正確かつ厳密な形へと形式化するプロジェクトを意味す
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
