12 関係: 大日本図書、学術用語集、完全性、メタ、ヒルベルト・プログラム、ダフィット・ヒルベルト、ゲーデルの完全性定理、ゲーデルの不完全性定理、証明論、文部省、数学、数学基礎論。
大日本図書
大日本図書株式会社(だいにっぽんとしょ)は、小学校・中学校・高等学校の教科書を主体に、教育関連の書籍などを出版する企業である。.
学術用語集
学術用語集(がくじゅつようごしゅう)とは、.
完全性
数理論理学における完全性(かんぜんせい、completeness)には二つの意味がある。.
メタ
メタ(meta-)とは、「高次な-」「超-」「-間の」「-を含んだ」「-の後ろの」等の意味の接頭語。ギリシア語から。 例えば物質界の現象を超越した世界を取り扱う学問を「形而上学」というが、これは英語でmetaphysicsであり、physics(物理学)の後の学問として存在する(詳しくは「形而上学」の項を参照のこと)。.
ヒルベルト・プログラム
ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。.
新しい!!: 超数学とヒルベルト・プログラム · 続きを見る »
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.
新しい!!: 超数学とダフィット・ヒルベルト · 続きを見る »
ゲーデルの完全性定理
数理論理学においてゲーデルの完全性定理(ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigkeitssatz)とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。1929年にクルト・ゲーデルが証明した。.
新しい!!: 超数学とゲーデルの完全性定理 · 続きを見る »
ゲーデルの不完全性定理
ーデルの不完全性定理(ゲーデルのふかんぜんせいていり、)又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
新しい!!: 超数学とゲーデルの不完全性定理 · 続きを見る »
証明論
証明論(proof theory)は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。.
文部省
文部省(もんぶしょう、Ministry of Education, Science and Culture)は、かつて存在した日本の行政機関の1つで、教育、文化、学術などを担当していた。2001年(平成13年)の中央省庁再編にともない、総理府の外局であった科学技術庁と統合し文部科学省となった。日本以外の国で教育行政を担当する官庁は、文部省と訳されることがある。しかし、多くは「教育」と訳されることが多く「文部」が使われることはない(教育省を参照)。.
数学
数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学基礎論
数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.
ここにリダイレクトされます:
メタ数学。