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

proof theory prooftheory

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

【数学基礎論】より

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

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

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

proof theoryの関連キーワード政治学史ヒックスゼロ知識証明証明ラッセル クロウ学習心理学相対的分け前賃金学説リンク・セオリー・ホールディングスリンク・セオリー・ジャパン

今日のキーワード

だまし面接

企業が面談や懇談会と称して就職活動中の学生を呼び出し、実質的には学生を選考する偽装面接のこと。2016年卒業の大学生に対する選考活動の開始時期を、従来の4月1日から8月1日以降へと後ろ倒しする主旨の「...

続きを読む

コトバンク for iPhone

コトバンク for Android