proof theory(英語表記)prooftheory

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

【数学基礎論】より

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

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

今日のキーワード

トランスジェンダー

性別違和をもつ人々の総称。性別違和とは,体の性的特徴,出生時の体に基づいて判別された性別や,その役割に課される性役割,性別表現など,すなわちジェンダーへの違和感である。トランスジェンダーには,他方の性...

続きを読む

コトバンク for iPhone

コトバンク for Android