ブリタニカ国際大百科事典 小項目事典 「モデル理論」の意味・わかりやすい解説
モデル理論
モデルりろん
model theory
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…数学は矛盾のない理論体系と信じられており,諸科学の中でももっとも厳密な論証を誇るものとして,およそそのよって立つ基盤がゆらぐようなことがあろうなどとは考えられなかった。ところが,19世紀末G.カントルによって創設された集合論はまもなく逆理を生じた(パラドックス)。カントル自身が発見した逆理(1899),ブラリ=フォルティの逆理(1897)やラッセルの逆理(1903)がそれである。集合論におけるすこぶる有効な用法ときわめて類似したしかたによって容易にこれらの逆理が導かれるのみならず,同時期に提出されたリシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は,現にこの文章によって25字で定義されている〉とともに,ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…
…すなわち,無限小量は追放され,極限概念は〈任意の正数εに対してかくかくの性質をもつ正数δが存在する〉という述語論理式によって表現される。それからほぼ100年後,数学基礎論の中からモデル理論が生まれる。モデルとは形式的な理論を解釈する枠組みであるが,一定の条件を満たす理論には標準的でないモデルが存在する。…
…しかし,こういっても,それにはさまざまな種類がある。 まず大きく分けると,科学におけるモデルは,〈対象モデル〉と〈モデル理論〉に分けられる。そして一般に科学においてモデルというとき,それは対象モデルを意味することが多い。…
※「モデル理論」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
年齢を問わず、多様なキャリア形成で活躍する働き方。企業には専門人材の育成支援やリスキリング(学び直し)の機会提供、女性活躍推進や従業員と役員の接点拡大などが求められる。人材の確保につながり、従業員を...
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新
10/1 共同通信ニュース用語解説を追加
9/20 日本大百科全書(ニッポニカ)を更新