30 関係: ペアノの公理、ヴェストファーレン・ヴィルヘルム大学、ヒルベルト・プログラム、ドイツ、ダフィット・ヒルベルト、アッカーマン関数、カントル、ギムナジウム、ゲオルク・アウグスト大学ゲッティンゲン、公理的集合論、無矛盾、計算理論、集合論、数学者、数理論理学、12月24日、1896年、1917年、1922年、1925年、1928年、1929年、1937年、1940年、1948年、1952年、1956年、1961年、1962年、3月29日。
ペアノの公理
ペアノの公理(ペアノのこうり、Peano axioms) とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。.
新しい!!: ヴィルヘルム・アッカーマンとペアノの公理 · 続きを見る »
ヴェストファーレン・ヴィルヘルム大学
ヴェストファーレン・ヴィルヘルム大学(Westfälische Wilhelms-Universität, WWU)は、2005年の夏学期の時点で37,759人の学生を擁し、15の学部に130の学科から構成されるドイツでも最も大きな総合大学のひとつである。通称はミュンスター大学。大学の名称にその名を残しているのは、ミュンスター城をその居城としていたドイツ皇帝ヴィルヘルム2世である。.
新しい!!: ヴィルヘルム・アッカーマンとヴェストファーレン・ヴィルヘルム大学 · 続きを見る »
ヒルベルト・プログラム
ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。.
新しい!!: ヴィルヘルム・アッカーマンとヒルベルト・プログラム · 続きを見る »
ドイツ
ドイツ連邦共和国(ドイツれんぽうきょうわこく、Bundesrepublik Deutschland)、通称ドイツ(Deutschland)は、ヨーロッパ中西部に位置する連邦制共和国である。もともと「ドイツ連邦共和国」という国は西欧に分類されているが、東ドイツ(ドイツ民主共和国)の民主化と東西ドイツの統一により、「中欧」または「中西欧」として再び分類されるようになっている。.
新しい!!: ヴィルヘルム・アッカーマンとドイツ · 続きを見る »
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.
新しい!!: ヴィルヘルム・アッカーマンとダフィット・ヒルベルト · 続きを見る »
アッカーマン関数
アッカーマン関数(アッカーマンかんすう、Ackermann function、Ackermannfunktion)とは、非負整数 m と n に対し、 \end によって定義される関数のことである。 与える数が大きくなると爆発的に計算量が大きくなるという特徴があり、性能測定などに用いられることもある。 また、数学的な意味として、原始再帰関数でないμ再帰関数の実例として有名である。これを(再帰のない手続き型の)プログラミング言語の言葉で言えば、whileループを使えばアッカーマン関数をプログラミングできるが、whileを使わずにforループだけでは実現不能だということである。 なお、アッカーマン関数のグラフは原始再帰的である。.
新しい!!: ヴィルヘルム・アッカーマンとアッカーマン関数 · 続きを見る »
カントル
ント(ー)ル(Kantor, Cantor)もしくはカンター.
新しい!!: ヴィルヘルム・アッカーマンとカントル · 続きを見る »
ギムナジウム
ムナジウム(Gymnasium)は、ヨーロッパの中等教育機関。標準ドイツ語では、ギュムナーズィウムの発音がより近い。日米の「単線型」教育制度に対する、主に中央ヨーロッパの「複線型」教育制度のいわば根幹を成す存在ともされる。国によって微妙に名称が異なるが、本稿では一括してギムナジウムとする。 高等教育への進学準備を目指す過程であり、イギリスのグラマースクール、シックスフォームカレッジに相当する。日本でいう中高一貫教育に近い。 例外として、ポーランドにおけるギムナジウム(Gimnazjum)は、13-16歳を対象とする3年過程であり義務教育に位置づけられる。.
新しい!!: ヴィルヘルム・アッカーマンとギムナジウム · 続きを見る »
ゲオルク・アウグスト大学ゲッティンゲン
旧大講堂 大学内の風景 ゲオルク・アウグスト大学ゲッティンゲン(Georg-August-Universität Göttingen, 略称:GAU)は、ドイツのニーダーザクセン州ゲッティンゲンに位置する大学。ドイツに9つあるエクセレントセンターの一つ。ハノーファー選帝侯ゲオルク・アウグスト(英国王としてはジョージ2世)によって1737年に設立された。大学名はこの創設者にちなむものである。ゲッティンゲン大学とも通称する。.
新しい!!: ヴィルヘルム・アッカーマンとゲオルク・アウグスト大学ゲッティンゲン · 続きを見る »
公理的集合論
公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。.
新しい!!: ヴィルヘルム・アッカーマンと公理的集合論 · 続きを見る »
無矛盾
数学基礎論において、無矛盾性 (consistency) は公理系の最も重要な概念の一つである。.
新しい!!: ヴィルヘルム・アッカーマンと無矛盾 · 続きを見る »
計算理論
計算理論(けいさんりろん、theory of computation)は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。 計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。.
新しい!!: ヴィルヘルム・アッカーマンと計算理論 · 続きを見る »
集合論
集合論(しゅうごうろん、set theory, théorie des ensembles, Mengenlehre)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。(論理や述語論理とともに)集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に(無定義語の)「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係(二項関係)を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合(を帰属関係で順序付けしたもの)と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm(これは真のクラスになる)もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
新しい!!: ヴィルヘルム・アッカーマンと集合論 · 続きを見る »
数学者
数学者(すうがくしゃ、mathematician)とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.
新しい!!: ヴィルヘルム・アッカーマンと数学者 · 続きを見る »
数理論理学
数理論理学(mathematische Logik、mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。.
新しい!!: ヴィルヘルム・アッカーマンと数理論理学 · 続きを見る »
12月24日
12月24日(じゅうにがつにじゅうよっか、じゅうにがつにじゅうよんにち)は、グレゴリオ暦で年始から358日目(閏年では359日目)にあたり、年末まであと7日ある。.
新しい!!: ヴィルヘルム・アッカーマンと12月24日 · 続きを見る »
1896年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1896年 · 続きを見る »
1917年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1917年 · 続きを見る »
1922年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1922年 · 続きを見る »
1925年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1925年 · 続きを見る »
1928年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1928年 · 続きを見る »
1929年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1929年 · 続きを見る »
1937年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1937年 · 続きを見る »
1940年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1940年 · 続きを見る »
1948年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1948年 · 続きを見る »
1952年
この項目では、国際的な視点に基づいた1952年について記載する。.
新しい!!: ヴィルヘルム・アッカーマンと1952年 · 続きを見る »
1956年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1956年 · 続きを見る »
1961年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1961年 · 続きを見る »
1962年
記載なし。
新しい!!: ヴィルヘルム・アッカーマンと1962年 · 続きを見る »
3月29日
3月29日(さんがつにじゅうくにち)はグレゴリオ暦で年始から88日目(閏年では89日目)にあたり、年末まであと277日ある。.
新しい!!: ヴィルヘルム・アッカーマンと3月29日 · 続きを見る »