The Formalization of Mathematics

Journal of Symbolic Logic 22 (3):290-292 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963597

Links

PhilArchive



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

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

Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The formalization of mathematics.Hao Wang - 1954 - Journal of Symbolic Logic 19 (4):241-266.
The Philosophical Achievement of Jacob Klein.Burt Hopkins - 2011 - New Yearbook for Phenomenology and Phenomenological Philosophy 11:282-296.
Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
Review: Hao Wang, The Formalization of Mathematics. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
The Philosophical Achievement of Jacob Klein.Burt Hopkins - 2011 - New Yearbook for Phenomenology and Phenomenological Philosophy 11:282-296.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Intuition and Formalization in Mathematics.Stephan Körner - 1981 - Epistemologia 4 (1):113.
Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.
On Formalization and Formalistic Philosophies of Mathematics.Richard Edward Grandy - 1968 - Dissertation, Princeton University
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
On the Cruelty of Really Doing Formal.John Harrison - unknown

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,510,250)

6 months
2 (#1,232,442)

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.
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.

Add more citations

References found in this work

No references found.

Add more references