證明論

研究數(shù)學(xué)證明的理論。數(shù)理邏輯的分支學(xué)科。它以數(shù)學(xué)的無(wú)矛盾性和判定問(wèn)題等為研究對(duì)象。數(shù)學(xué)的無(wú)矛盾性是關(guān)于數(shù)學(xué)基礎(chǔ)的研究,而判定問(wèn)題不僅本身較前者研究的內(nèi)容更為廣泛,而且與算法和計(jì)算機(jī)科學(xué)也緊密地聯(lián)系在一起。證 ......    （本文共 466 字 ）     [閱讀本文] >>