论文信息 - On the Foundations of Mathematics in 1987

On the Foundations of Mathematics in 1987

Publisher Summary This chapter describes the current state of the foundations of mathematics. There is clear evidence that the way in which doubts (about a piece of mathematics) are resolved is that the doubtful notions or inferences are refined and clarified to the point where they can be taken as proofs and definitions from existing notions within some first-order theory. A foundation of mathematics is the discussion of the first order systems within which mathematics is set out. Discussion of which notions are needed for presenting a piece of mathematics would fall under foundations, as does the notion of consistency strength.

Frank R. Drake

[1] S. G. Simpson,et al. Which set existence axioms are needed to prove the separable Hahn-Banach theorem? , 1986, Ann. Pure Appl. Log..

[2] F. Drake. How recent work in mathematical logic relates to the foundations of mathematics , 1985 .

[3] Solomon Feferman,et al. Systems of predicative analysis , 1964, Journal of Symbolic Logic.

[4] Stephen G. Simpson,et al. Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? , 1984, Journal of Symbolic Logic.

[5] Stephen G. Simpson,et al. Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..

[6] Stephen G. Simpson,et al. Factorization of polynomials and Σ10 induction , 1986, Ann. Pure Appl. Log..

[7] Stewart Shapiro,et al. Second-order languages and mathematical practice , 1985, Journal of Symbolic Logic.

[8] Stephen G. Simpson,et al. Ordinal numbers and the Hilbert basis theorem , 1988, Journal of Symbolic Logic.