Does mathematics need new axioms?

@article{Feferman2000DoesMN,
  title={Does mathematics need new axioms?},
  author={Solomon Feferman and Harvey M. Friedman and Penelope Maddy and John R. Steel},
  journal={Bulletin of Symbolic Logic},
  year={2000},
  volume={6},
  pages={401-446}
}
Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of… CONTINUE READING

From This Paper

Topics from this paper.
37 Citations
30 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 30 references

173-198. (Reprinted with English translation

  • K. Godel
  • Uber formal unentscheidbare Satze der Principia…
  • 1931
Highly Influential
4 Excerpts

Grenzzahlen und Mengenbereiche: Neue Untersuchungen  uber die Grundlagen der Mengenlehre

  • E. Zermelo,  Uber
  • Fund. Math
  • 1930
Highly Influential
13 Excerpts

odel, What is Cantor's continuum problem

  • G K.
  • Amer. Math. Monthly
  • 1947
Highly Influential
3 Excerpts

Das Kontinuum

  • H. Weyl
  • Kritische Untersuchungen  uber die Grundlagen…
  • 1918
Highly Influential
3 Excerpts

Large cardinal axioms and independence: The continuum problem revisited

  • H. Woodin
  • Math. Intelligencer
  • 1994

odel, Collected Works, Vol. II. Publications 1938-1974 (S

  • G K.
  • 1990

odel, Collected Works, Vol. I. Publications 1929-1936 (S

  • G K.
  • 1986

Similar Papers

Loading similar papers…