scispace - formally typeset
Open AccessBook

Philosophy of mathematics : selected readings

Reads0
Chats0
TLDR
The Foundations of Mathematics: 1. The logicist foundations of mathematics Rudolf Carnap 2. Intuitionism and formalism L. E. J. Brouwer as discussed by the authors.
Abstract
Preface to the second edition Introduction Part I. The Foundations of Mathematics: 1. The logicist foundations of mathematics Rudolf Carnap 2. The intuitionist foundations of mathematics Arend Heyting 3. The formalist foundations of mathematics Johann von Neumann 4. Disputation Arend Heyting 5. Intuitionism and formalism L. E. J. Brouwer 6. Consciousness, philosophy, and mathematics L. E. J. Brouwer 7. The philosophical basis of intuitionistic logic Michael Dummett 8. The concept of number Gottlob Frege 9. Selections from Introduction to Mathematical Philosophy Bertrand Russell 10. On the infinite David Hilbert 11. Remarks on the definition and nature of mathematics Haskell B. Curry 12. Hilbert's programme Georg Kreisel Part II. The Existence of Mathematical Objects: 13. Empiricism, semantics, and ontology Rudolf Carnap 14. On Platonism in mathematics Paul Bernays 15. What numbers could not be Paul Benacerraf 16. Mathematics without foundations Hilary Putnam Part III. Mathematical Truth: 17. The a priori Alfred Jules Ayer 18. Truth by convention W. V. Quine 19. On the nature of mathematical truth Carl G. Hempel 20. On the nature of mathematical reasoning Henri Poincare 21. Mathematical truth Paul Benacerraf 22. Models and reality Hilary Putnam Part IV. The Concept of Set: 23. Russell's mathematical logic Kurt Goedel 24. What in Cantor's continuum problem? Kurt Goedel 25. The iterative concept of set George Boolos 26. The concept of set Hao Wang Bibliography.

read more

Citations
More filters
Journal ArticleDOI

The Knowledge, Beliefs and Attitudes of the Mathematics Teacher: a model

TL;DR: The authors proposed an analytic model of the different types of knowledge, beliefs and attitudes of a mathematics teacher, and their relationship with practice, which has implications for teacher education and has been shown to have significant impact on teacher education.
Journal ArticleDOI

Program verification: the very idea

TL;DR: The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.
Journal ArticleDOI

Integrating Modernist and Postmodernist Perspectives on Organizations: A Complexity Science Bridge

TL;DR: The authors show how the order-seeking regime of the modernists and the richness-seeking regimes of the postmodernists draw on different ontological assumptions that can be integrated within a single overarching framework.
Journal ArticleDOI

Models and fictions in science

TL;DR: In this article, the ontological problems surrounding fictions in science may be particularly difficult, however, and a comparison is also made to ontology problems that arise in the philosophy of mathematics.