New Foundations for Mathematical Theories
暂无分享，去创建一个
In this paper, I shall outline a new approach to the logical foundations of mathematical theories. One way of looking at its motivation is as follows (I am following here Hintikka, 1989)
[1] Richard Kaye. Models of Peano arithmetic , 1991, Oxford logic guides.
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[3] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[4] David Hilbert,et al. The Foundations of Geometry , 1903, The Mathematical Gazette.