proof theory(英語表記)prooftheory

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

【数学基礎論】より

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

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

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

今日のキーワード

医療過誤

診療過誤ともいい,医療行為一般の誤りをさす。医学知識の不足,医療技術の未熟,診療行為の全体としての疎漏さ,不適切な薬剤や医療器具の使用などが原因となる。具体的には誤診,診断の遅延,手術過誤,注射事故,...

続きを読む

コトバンク for iPhone

コトバンク for Android