The Formalist Foundations of Mathematics

In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Paul Benacerraf and Hilary Putnam. Introduction. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, 1964, pp. 1–27. - Rudolf Carnap. The logicist foundations of mathematics. English translation of 3528 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 31–41. - Arend Heyting. The intuitionist foundations of mathematics. English translation of 3856 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 42–49. - Johann von Neumann. The formalist foundations of mathematics. English translation of 2998 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall,. [REVIEW]Alec Fisher - 1969 - Journal of Symbolic Logic 34 (1):107-110.
A propósito del formalismo de Johann von Neumann.Abel Lassalle Casanave & Luiz Carlos Pereira - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):51--59.
John von Neumann and Scientific Method.Salim Rashid - 2007 - Journal of the History of Ideas 68 (3):501-527.
Curry Haskell B.. Outlines of a formalist philosophy of mathematics. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 pp. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.
A Formalist Philosophy of Mathematics Part I: Arithmetic.Michael Gabbay - 2010 - Studia Logica 96 (2):219-238.
John von Neumann and Norbert Wiener - From Mathematics to the Technologies of Life and Death.Steve Heims - 1984 - Theory and Decision 17 (3):305.
La fundamentación formalista de la matemática.Johann von Neumann - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):79--82.
John von Neumann on mathematical and axiomatic physics.Miklós Rédei - 2005 - In Giovanni Boniolo, Paolo Budinich & Majda Trobok (eds.), The Role of Mathematics in Physical Sciences: Interdisciplinary and Philosophical Aspects. Springer. pp. 43-54.

Analytics

Added to PP
2014-01-30

Downloads
3 (#1,731,220)

6 months
3 (#1,206,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references