Some current problems in metamathematics

被引：2
|
作者：
Tarski, A [1 ]
Tarski, J [1 ]
Wolenski, J [1 ]
机构：
[1] JAGIELLONIAN UNIV,INST PHILOSOPHY,PL-31041 KRAKOW,POLAND
来源：
HISTORY AND PHILOSOPHY OF LOGIC | 1995年 / 16卷 / 02期
关键词：
D O I：
10.1080/01445349508837247
中图分类号：
B82 [伦理学（道德学）];
学科分类号：
摘要：
In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathematics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Godel's theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity.
引用
收藏
页码：159 / 168
页数：10
相关论文
共 50 条
12345