证明论的数学意义。
The mathematical significance of proof theory.
作者信息
Macintyre Angus
机构信息
Queen Mary, University of London, London, UK.
出版信息
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2419-35. doi: 10.1098/rsta.2005.1656.
PMID:16188617
Abstract
Returning to old ideas of Kreisel, I discuss how the mathematics of proof theory, often combined with tricks of the trade, can occasionally be useful in extracting hidden information from informal proofs in various areas of mathematics.
摘要
回到克赖泽尔的旧观点，我将讨论证明论的数学，通常与行业技巧相结合，如何偶尔有助于从数学各领域的非正式证明中提取隐藏信息。
相似文献
1
The mathematical significance of proof theory.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2419-35. doi: 10.1098/rsta.2005.1656.
2
The justification of mathematical statements.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2437-45; discussion 2445-7. doi: 10.1098/rsta.2005.1658.
3
Highly complex proofs and implications of such proofs.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2401-4; discussion 2404-6. doi: 10.1098/rsta.2005.1655.
4
What is a proof?
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2377-88; discussion 2388-91. doi: 10.1098/rsta.2005.1651.
5
The challenge of computer mathematics.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2351-73; discussion 2374-5. doi: 10.1098/rsta.2005.1650.
6
Pluralism in mathematics.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2449-58; discussion 2458-60. doi: 10.1098/rsta.2005.1657.
7
Computing and the cultures of proving.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2335-47; discussion 2347-50. doi: 10.1098/rsta.2005.1649.
8
Panelist position statement: logic and models in computer science.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2397-9. doi: 10.1098/rsta.2005.1654.
9
Skolem and pessimism about proof in mathematics.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2407-18. doi: 10.1098/rsta.2005.1661.
10
Panelist position statement: reasoning about the design of programs.
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2395-6. doi: 10.1098/rsta.2005.1653.
Zotero 插件