ブラウザよりも高速アクセス！
58 関係: 基数、可算集合、可換体、否定、宇宙 (数学)、一階述語論理、二階述語論理、代数学、代数幾何学、代数的構造、強制法、形式言語、ペアノの公理、ポール・コーエン (数学者)、モデル (自然科学)、レーヴェンハイム–スコーレムの定理、トアルフ・スコーレム、デイナ・スコット、ドーヴァー出版、ニューヨーク、アルフレト・タルスキ、アブラハム・ロビンソン、エウド・フルショフスキー、オックスフォード大学出版局、クルト・ゲーデル、グラフ理論、ケンブリッジ大学出版局、ゲーデルの完全性定理、コンパクト性定理、シュプリンガー・サイエンス・アンド・ビジネス・メディア、サハロン・シェラハ、公理、群 (数学)、統語論、無限論理、選択公理、補題、証明論、記述計算量、言語学、高階述語論理、超実数、超準解析、量化、自然数、集合論、連続体仮説、Graduate Texts in Mathematics、恒等式、構成可能集合、...、濃度 (数学)、木構造、有限モデル理論、有限集合、意味論、数学、数学的構造、数理論理学。 インデックスを展開 (8 もっと) »
基数
数学において基数(きすう、cardinal number又はcardinals)とは、集合のカーディナリティ（濃度、大きさ、サイズ）を測るためのものとしての自然数の一般化である。有限集合の濃度(cardinality)は、つまり有限集合の要素の個数は自然数である。無限集合のサイズは、超限基数で記述される。 濃度は全単射をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在するということである。有限集合の場合は、サイズの直感的概念に同意できるだろう。無限集合の場合は、振る舞いは複雑になってくる。ゲオルグ・カントールが示した基礎的な理論は無限集合の濃度は1種類だけではないことを示したのである。特に、実数の集合の濃度は自然数の集合の濃度より真に大きいということを示した（カントールの定理）。また、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということは起こりうるのである（デデキント無限も参照）。 基数の超限列が存在する: この列は、有限基数である自然数が最初に並んでいて、その後に整列集合の無限基数であるアレフ･ナンバー (aleph number) が続く。アレフ・ナンバーは順序数によって添字付けられている。選択公理の仮定の下で、この超限列はすべての基数を含んでいる。もし、選択公理が仮定されなければ、アレフ・ナンバーでない無限基数に関して状況はさらに複雑になってくる。 濃度は、集合論の一部のために研究されている。また、組合せ論や抽象代数学、解析学を含めた数学の各分野の道具としても使われる。圏論では、基数は集合の圏の skelton を形成する。.
可算集合
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.
新しい！!: モデル理論と可算集合 · 続きを見る »
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
否定
数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定（NOT）.
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。.
新しい！!: モデル理論と宇宙 (数学) · 続きを見る »
一階述語論理
一階述語論理（いっかいじゅつごろんり、first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。.
新しい！!: モデル理論と一階述語論理 · 続きを見る »
二階述語論理
二階述語論理（にかいじゅつごろんり、second-order predicate logic）あるいは単に二階論理（にかいろんり、second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。 一階述語論理と同様に議論領域（ドメイン）の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あるいは属さないかのどちらかであるということを主張している。最も一般化された二階述語論理は関数の量化をする変項も含んでいる（詳しくは後述）。.
新しい！!: モデル理論と二階述語論理 · 続きを見る »
代数学
代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。.
代数幾何学
代数幾何学（だいすうきかがく、algebraic geometry）とは、多項式の零点のなすような図形を代数的手法を用いて（代数多様体として）研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した（代数幾何学のイタリア学派）。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.
新しい！!: モデル理論と代数幾何学 · 続きを見る »
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
新しい！!: モデル理論と代数的構造 · 続きを見る »
強制法
数学の集合論における強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。.
形式言語
形式言語（けいしきげんご、formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。.
新しい！!: モデル理論と形式言語 · 続きを見る »
ペアノの公理
ペアノの公理（ペアノのこうり、Peano axioms） とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。.
新しい！!: モデル理論とペアノの公理 · 続きを見る »
ポール・コーエン (数学者)
ポール・コーエン (Paul Joseph Cohen, 1934年4月2日 - 2007年3月23日)はアメリカ合衆国の数学者。 スタンフォード大学教授。専門は集合論、調和解析、偏微分方程式。.
新しい！!: モデル理論とポール・コーエン (数学者) · 続きを見る »
モデル (自然科学)
自然科学におけるモデルは、理論を説明するための簡単な具体的なもの。特に幾何学的な図形を用いた概念や物体。.
新しい！!: モデル理論とモデル (自然科学) · 続きを見る »
レーヴェンハイム–スコーレムの定理
レーヴェンハイム–スコーレムの定理（Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。.
新しい！!: モデル理論とレーヴェンハイム–スコーレムの定理 · 続きを見る »
トアルフ・スコーレム
トアルフ・スコーレム（Albert Thoralf Skolem、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では.
新しい！!: モデル理論とトアルフ・スコーレム · 続きを見る »
デイナ・スコット
デイナ・スチュアート・スコット (Dana Stewart Scott, 1932年-) はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。.
新しい！!: モデル理論とデイナ・スコット · 続きを見る »
ドーヴァー出版
ドーヴァー出版（英:Dover Publications）は、アメリカの出版社。本社はニューヨーク市にある。1941年設立。 元の出版元で絶版になった本の再出版で有名である。再出版する書籍にはパブリックドメインのものも多い。歴史的に意義深く質の高い本を丈夫な製本と安い値段で提供する方針のもとに、現在までに9,000タイトル以上の書籍を出版している。 古典文学、クラシック音楽の楽譜、18-19世紀の図版の再出版が特に有名である。また、学生から一般読者向けの数学・科学関連書籍や、軍事史、アメリカ史、奇術、チェスなど特定の分野の本の出版もしている。 著作権使用料無料（royalty-free）のデザイン・イラスト集を多く出版しており、画集的なものから、そのままコピーして使う素材集まで存在する。題材は19世紀以前のイラスト、アールヌーボーの意匠、伝統的な民族文様など多様である。CD-ROM付きのシリーズもある。コンピューター関連メディア企業オライリー社の初期の書籍表紙の動物の絵は、ドーヴァー出版の19世紀の版画図版から採用されたものである。.
新しい！!: モデル理論とドーヴァー出版 · 続きを見る »
ニューヨーク
ニューヨーク市（New York City）は、アメリカ合衆国ニューヨーク州にある都市。 1790年以来、同国最大の都市であり、市域人口は800万人を超え、都市圏人口では定義にもよるが2000万人以上である.
新しい！!: モデル理論とニューヨーク · 続きを見る »
アルフレト・タルスキ
アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）はポーランドおよびアメリカの数学者・論理学者。彼の生年を1902年とする記述も散見されるが、これは誤りである。 アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに、「四人の偉大な論理学者」の一人として数えられる。また、彼の名前は「バナッハ＝タルスキーの定理」などで知られる。.
新しい！!: モデル理論とアルフレト・タルスキ · 続きを見る »
アブラハム・ロビンソン
アブラハム・ロビンソン（Abraham Robinson, 1918年10月6日 - 1974年4月11日）は、ドイツ出身の数学者・論理学者。専門は数理論理学、モデル理論。 ドイツ帝国のヴァルデンブルク（現在のポーランド・ヴァウブジフ）でシオニストの家庭に生まれた。1933年にイギリス委任統治領パレスチナへ移住し、ヘブライ大学で最初の学位を取得した。第二次世界大戦中はロンドンでに参加し、空気力学と戦闘機の翼型の専門家として活動した。 戦後は、ロンドン、トロント、エルサレムを経てアメリカ合衆国へ渡り、1962年までカリフォルニア大学ロサンゼルス校で教鞭を執った後、1967年からイェール大学で教鞭を執った。 ライプニッツ流の無限小や無限大を合理化した超準解析を考え出した。 1974年4月11日、コネチカット州ニューヘイブンで肝臓癌のため死去。55歳没。 Category:アメリカ合衆国の数学者 181006 Category:数理論理学者 Category:数学に関する記事 Category:カリフォルニア大学ロサンゼルス校の教員 Category:イェール大学の教員 Category:ヘブライ大学出身の人物 Category:ユダヤ系ドイツ人 Category:ドイツユダヤ系アメリカ人 Category:シレジア・ユダヤ人 Category:シュレージエン州出身の人物 Category:1918年生 Category:1974年没.
新しい！!: モデル理論とアブラハム・ロビンソン · 続きを見る »
エウド・フルショフスキー
ウド・フルショフスキー（Ehud Hrushovski 1959年 - ）はイスラエルの論理学者。ヘブライ大学教授。 1986年にカリフォルニア大学バークレー校で博士号を取得。専門はモデル理論とその幾何学への応用。 幾何学的安定性理論に新しい手法を導入し、幾何的安定性 理論を塗り替えた。 その理論のもとで構築された幾何学的モデル理論をディオファントス幾何学の応用することとフルショフスキーによって構築されたザリスキー幾何学によって関数体上のモーデル予想の別証明を与えた。 モデル理論が代数幾何学、数論幾何学の問題を解決したことは（別証明とはいえ）非常に画期的なことであり、フルショフスキーによって新しい流れを生み出したといえる。 他にもマニン・マンフォード予想の別証明等がある。.
新しい！!: モデル理論とエウド・フルショフスキー · 続きを見る »
オックスフォード大学出版局
Walton Streetのオックスフォード大学出版局 オックスフォード大学出版局（オックスフォードだいがくしゅっぱんきょく、英語：Oxford University Press、略称OUP）は、イングランドのオックスフォード大学の出版局を兼ねる出版社である。OUPは世界最大の大学出版局であり、アメリカの全ての大学出版局とケンブリッジ大学出版局の合計以上の規模を誇る。OUPはケンブリッジ大学出版局とともに、イギリスの特権出版社(en:privileged presses イギリスで祈祷書・欽定訳聖書の出版権を持つ出版社)の一つである。インド・パキスタン・カナダ・オーストラリア・ニュージーランド・マレーシア・シンガポール・ナイジェリア・南アフリカ共和国など、世界中に支部を持っている。OUP USAは1896年ごろに設立され、1987年に法人化された非公開有限(en:private limited company)の子会社で、OUP初の国際ベンチャーである。1905年設立のカナダ支部は2番目。OUP全体は選挙によって選ばれた、出版局代表団(Delegates of the Press)と呼ばれる代表者たちによって運営される。出版局代表団はすべてオックスフォード大学のメンバーである。現在、OUPが用いる出版社名は二つある。第一に参考書・教育書・学術書などの大部分はOxford University Press(オックスフォード大学出版局)名義、「名声のある(prestige)」学術書はClarendon Press(クラレンドンプレス)名義である。主要な支部のほとんどは、OUP本部の書籍の発行・販売だけでなく、その地域の出版社として機能している。 OUPは1972年にアメリカの法人税を控除され、1978年にイギリスでも控除された。OUPは、慈善事業団体としてほとんどの国で所得税・法人税を控除されているが、出版物に対し、売上税その他の商取引に関する税金を払う場合もある。OUPは現在、黒字の30%(毎年最低12万ポンドの確約つき)をオックスフォード大学に送っている。OUPは出版数として世界最大の大学出版局で、毎年4500冊以上の新刊を出版し、従業員数は約4000人。OUPはオックスフォード英語辞典、、Oxford World's Classics、Oxford Dictionary of National Biographyなどの参考書・専門書・学術書を出版している。これらの重要書籍の多くが、Oxford Reference Onlineというパッケージとして電子公開されており、イギリスの公立図書館の利用者カードの所有者には無料で提供されている。 哲学者のアンドリュー・マルコムが、著書Making Namesに関する1985年の出版契約不履行について提訴した裁判で、1990年OUPはイギリス控訴院にて敗訴した。1998年、OUPは人気の高かったOxford Poetsシリーズを打ち切った。2001年、OUPはイギリスの法律系出版社Blackstoneを取得した。2003年、OUPはMacmillan PublishersからGrove Dictionary of Music and Musicians(グローヴ音楽事典)・Grove Dictionary of Art(グローヴ芸術事典)を取得した。2006年、OUPはイギリスの出版社Richmond Law & Taxを取得した。 OUPで出版された本のISBNは0-19で始まる。つまりOUPは数少ないISBN識別番号2桁の出版社のひとつなのである。(ISBN番号は13桁と決まっており、桁が少ないほど多くの図書を登録できるようになっている。).
新しい！!: モデル理論とオックスフォード大学出版局 · 続きを見る »
クルト・ゲーデル
ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
新しい！!: モデル理論とクルト・ゲーデル · 続きを見る »
グラフ理論
ラフ理論（グラフりろん、graph theory）は、ノード（節点・頂点）の集合とエッジ（枝・辺）の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.
新しい！!: モデル理論とグラフ理論 · 続きを見る »
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: モデル理論とケンブリッジ大学出版局 · 続きを見る »
ゲーデルの完全性定理
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigkeitssatz）とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。1929年にクルト・ゲーデルが証明した。.
新しい！!: モデル理論とゲーデルの完全性定理 · 続きを見る »
コンパクト性定理
ンパクト性定理（）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。.
新しい！!: モデル理論とコンパクト性定理 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: モデル理論とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
サハロン・シェラハ
ハロン・シェラハ（ヘブライ語名：、英語名：Saharon Shelah, 1945年7月3日 - ）は、イスラエルの数学者、論理学者。エルサレム出身。日本では「シェラー」あるいは「シェラーハ」と表記されることもある。 専門は数理論理学、とくにモデル論および公理的集合論。その他にブール代数や実関数論、集合論的位相空間論に関する仕事もある。.
新しい！!: モデル理論とサハロン・シェラハ · 続きを見る »
公理
公理（こうり、axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明（絶対的）な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: モデル理論と群 (数学) · 続きを見る »
統語論
統語論（とうごろん、syntax）とは、ヒト・人間の言語において文が構成される仕組み、またはそれを扱う言語学の一分野である。統辞論（とうじろん）、構文論（こうぶんろん）ともいう。 統語論は文法［音韻論（音の仕組み）、形態論（語が構成される仕組み）などを含む、言語の構造を成り立たせている諸原理］ の一部である。ただし、特に統語論のことを指して「文法」ということもある。.
無限論理
無限論理 (むげんろんり、infinitary logic) は、無限に長い言明および／または無限に長い証明を許す論理である。.
新しい！!: モデル理論と無限論理 · 続きを見る »
選択公理
選択公理（せんたくこうり、、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。.
新しい！!: モデル理論と選択公理 · 続きを見る »
補題
数学において、「補助定理」(helping theorem) あるいは補題 (lemma))-->とは、それ自身興味あるステートメントとしてよりはむしろ、より大きな結果のための一歩として使われる、証明された命題である。.
証明論
証明論（proof theory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。.
記述計算量
記述計算量（きじゅつけいさんりょう、Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要とされる論理の種類によって特徴付けることを目的とする。例えば、'''PH'''は二階述語論理の論理式で表現される言語のクラスと正確に対応している。このような複雑性と論理の繋がりによって、2つの分野の間で容易に変換が可能となり、新たな証明手法を生み出したり、ある複雑性クラスが本質的なものであって、特定の抽象機械に結びつくものではないことを示すことができる。.
新しい！!: モデル理論と記述計算量 · 続きを見る »
言語学
言語学（げんごがく）は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.
高階述語論理
階述語論理（こうかいじゅつごろんり、Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。 例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。 その他の違いとして、基盤となる型理論で許されている型構築の違いがある。高階述語（higher-order predicate）とは、引数として1つ以上の別の述語をとることができる述語である。一般に n 階の高階述語の引数は1つ以上の (n − 1) 階の述語である（ここで n > 1）。同じことは高階関数（higher-order function）にも言える。 高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。クルト・ゲーデルの業績により、古典的高階述語論理は（帰納的に公理化された）健全で完全な証明計算が認められないとされた。しかし、Henkin model によれば、健全で完全な証明計算は存在する。 高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。.
新しい！!: モデル理論と高階述語論理 · 続きを見る »
超実数
超実数（ちょうじっすう、hyperreal number）または超準実数（ちょうじゅんじっすう、nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 は実数体 の拡大体であり、 の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 の語はが1948年に導入した。 超実数は（ライプニッツの経験則的なを厳密なものにした）を満たす。この移行原理が主張するのは、 についての一階述語論理の真なる主張は においても真であることである。例えば、加法の可換則 は、実数におけると全く同様に、超実数に対しても成り立つ。また例えば は実閉体であるから、 も実閉体である。また、任意の整数 に対して が成立するから、任意の に対しても が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。 無限小を含むような論法の健全性に対する関心は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することである。つまり、 の導関数は、 になる。 ただし、 は無限小超実数で、 とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」というである。積分も同様に、適切な無限和の標準部によって定義される。.
超準解析
は、あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析（nonstandard analysis）は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。 彼は次のように記述している： 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツのはの先駆けであるとしている。ロビンソンは次のように続ける： しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。Robinson, A.: Non-standard analysis.
新しい！!: モデル理論と超準解析 · 続きを見る »
量化
量化（りょうか、Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
連続体仮説
連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH）とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。現在の数学で用いられる標準的な枠組みのもとでは「連続体仮説は証明も反証もできない命題である」ということが明確に証明されている。.
新しい！!: モデル理論と連続体仮説 · 続きを見る »
Graduate Texts in Mathematics
Graduate Texts in Mathematics (Grad. Texts in Math., GTM) (ISSN 0072-5285) は、Springer-Verlag により出版されている数学の graduate-level（院レベル）のテキストのシリーズである。いくつかは和訳され丸善出版より出版されている。このシリーズの本は、 Springer-Verlag の他の数学のシリーズと同様、標準的なサイズの黄色い本である（ページ数は様々）。（原著の）GTM シリーズは本の上部が白くなっており容易に識別できる。 このシリーズの本は類似の Undergraduate Texts in Mathematics (UTM) シリーズよりも進んだ内容が書かれる傾向にあるが、この 2 つのシリーズは内容や難易度についてかなりかぶる部分もある。.
新しい！!: モデル理論とGraduate Texts in Mathematics · 続きを見る »
恒等式
恒等式（こうとうしき、identity）は、恒真な等式、すなわち等号 (.
構成可能集合
ーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。 ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、L が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。 L はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。.
新しい！!: モデル理論と構成可能集合 · 続きを見る »
濃度 (数学)
数学、とくに集合論において、濃度（のうど）あるいは基数（きすう）（cardinal number, cardinality, power）とは、集合の「元の個数」という概念を拡張したものである。有限集合については、濃度は「元の個数」の同意語に過ぎない。。。.
新しい！!: モデル理論と濃度 (数学) · 続きを見る »
木構造
木構造.
有限モデル理論
有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造（有限群、グラフ、データベース、多くの計算模型など）に適用したときの属性に着目した理論である。論理言語と計算の関係に特に注目し、離散数学や計算複雑性理論やデータベース理論とも密接に関連する。 一階述語論理と古典モデル理論の重要な成果の多くは、有限構造に制限されると成り立たない。例えば、コンパクト性定理、クレイグの補間定理、レーヴェンハイム-スコーレムの定理、ゲーデルの完全性定理などである。このような文脈では、一階述語論理の表現能力が十分とは言えない点が根本的な問題である。このため、一階述語論理に推移閉包や最小不動点の作用素を追加したり、二階述語論理の一部を使ったりして、有限構造での属性を表現できる新たな論理体系を構築する。 有限モデル理論の一分野として重要な理論に記述計算量がある。これは、様々な抽象機械の能力と論理言語の表現能力を結びつけるものである。ある言語が一階述語論理に最小不動点作用素を追加したもので表せる場合、チューリングマシンにある文字列を与えたとき、その文字列がその言語に属するかどうかを判定するには多項式時間を要する（'''P'''）。記述計算量の考え方によって、計算複雑性理論と数理論理学の成果の交流が可能となり、標準的な複雑性クラスが「自然」なものであるという証拠も与える。Neil Immerman は、「数理論理学の歴史の中でも、有限構造に関する研究が最も興味深く…さらに言えば、コンピュータ上のオブジェクトは常に有限である。計算の研究には、有限構造の理論が必要である」と述べている。 また、有限モデル理論の重要な帰結の一つに、対象 x の性質 P(x) はほとんどの対象において当てはまるものであるか、ほとんどの対象において当てはまらないものであるかに分類されるという法則(Zero-One Law)がある。たとえば、サイズが n 以下のグラフの性質について考えるとき、対象が連結グラフである確率は n が無限大に近づくにつれて 1 に近づく。逆に、対象が孤立点を含んでいる確率は 0 に近づく。Zero-One Lawは、多項式時間でチェック可能な任意のグラフの性質について、性質を満たす対象の比率が 1 か 0 のどちらかに近づいていくことを主張する。この法則は、大規模な有限構造についての乱択アルゴリズムに影響を及ぼす。 有限モデル理論では、論理の有限な制限についても研究する。例えば、変項数を k 個に制限された一階述語論理などである。.
新しい！!: モデル理論と有限モデル理論 · 続きを見る »
有限集合
数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.
新しい！!: モデル理論と有限集合 · 続きを見る »
意味論
意味論（いみろん、英: semantics）とは、言語学では統語論に対置される分野、数学（とくに数理論理学）では証明論に対置される分野で、それらが中身（意味）に関与せず記号の操作によって対象を扱うのに対し、その意味について扱う分野である。なお、一般意味論というものもあるが、言語の使用に関する倫理を扱うものであり、ありていに言って無関係である。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的構造
数学における構造（こうぞう、mathematical structure）とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.
新しい！!: モデル理論と数学的構造 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: モデル理論と数理論理学 · 続きを見る »
ここにリダイレクトされます：
モデル論。
