The formalization of mathematics

Journal of Symbolic Logic 19 (4):241-266 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267732

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

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

1 the formalization of mathematics.Harvey Friedman - manuscript
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
On formalization.Hao Wang - 1955 - Mind 64 (254):226-238.
On the Cruelty of Really Doing Formal.John Harrison - unknown
Intensions, Church's thesis, and the formalization of mathematics.Nicolas D. Goodman - 1987 - Notre Dame Journal of Formal Logic 28 (4):473-489.
Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.

Analytics

Added to PP
2009-01-28

Downloads
250 (#80,687)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford: Oxford University Press. pp. 590-624.
Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14‐24):216-239.
In Memoriam: Hao Wang 1921–1995.Charles Parsons - 1996 - Bulletin of Symbolic Logic 2 (1):108-111.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references