コトバンクはYahoo!辞書と技術提携しています。

proof theory prooftheory

世界大百科事典内のproof theoryの言及

【数学基礎論】より

…後者を超数学といい,その論法は有限的,構成的なしかたによらなければならない。超数学では体系内での証明自体が研究の主たる対象とされるからこれを証明論proof theoryともいう。与えられた形式的体系について,証明論の究極の目標は〈矛盾に至る証明はその体系内ではありえない〉ことを証明することである。…

※「proof theory」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

信長協奏曲(コンツェルト)

石井あゆみによる漫画作品。戦国時代にタイムスリップした現代の高校生が病弱な織田信長の身代わりとして生きていく姿を描く。『ゲッサン』2009年第1号から連載開始。小学館ゲッサン少年サンデーコミックス既刊...

続きを読む

コトバンク for iPhone