The formalization of mathematics

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

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2267732
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,940
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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.
In Memoriam: Hao Wang 1921–1995.Charles Parsons - 1996 - Bulletin of Symbolic Logic 2 (1):108-111.
Inwiefern Sind Die Mathematischen Sätze Analytisch?Gerhard Frey - 1972 - Philosophia Mathematica (2):145-157.

Add more citations

Similar books and articles

Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
Intensions, Church's Thesis, and the Formalization of Mathematics.Nicolas D. Goodman - 1987 - Notre Dame Journal of Formal Logic 28 (4):473-489.
On Formalization.Hao Wang - 1955 - Mind 64 (254):226-238.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
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 index
2009-01-28

Total views
219 ( #27,676 of 2,235,424 )

Recent downloads (6 months)
3 ( #570,935 of 2,235,424 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature