请输入您要查询的字词:

 

单词 proof theory
释义
proof theory

Mathematics
  • The branch of logic that studies proofs and the deducibility and independence of results within formal systems. The roots of proof theory may be seen as beginning with Hilbert’s programme.


Philosophy
  • The study of the relations of deducibility among sentences in a logical calculus. Deducibility is defined purely syntactically, that is, without reference to the intended interpretation of the calculus. The subject was founded by the mathematician David Hilbert (1862–1943) in the hope that strictly finitary methods would provide a way of proving the consistency of classical mathematics, but the ambition was torpedoed by Gödel’s second incompleteness theorem. See also model theory.


随便看

 

科学参考收录了60776条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。

 

Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/26 2:11:04