Church's theorem and the analytic-synthetic distincion in mathematics

Philosophica 18 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.21825/philosophica.82680

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Meaning and Existence in Mathematics. Par Charles Castonguay. Library of Exact Philosophy, Springer Verlag. New York, Wien. 1972. 158 pages. [REVIEW]Yvon Gauthier - 1973 - Dialogue 12 (4):725-729.
Meaning and Existence in Mathematics. By Charles Castonguay. . New York-Wien: Springer Verlag, 1972. Pp. x, 158. $16.80. [REVIEW]John Woods - 1974 - Dialogue 13 (1):201-203.
Church's Undecidability Theorem (1936): Formulation and presentation of the main ideas of its demonstration.Franklin Galindo & Ricardo José Da Silva - 2017 - Apuntes Filosóficos 26 (50):8-31.
The analytic and synthetic in Russell's philosophy of mathematics.G. G. Taylor - 1981 - Philosophical Studies 39 (1):51 - 59.
A Critique of the Kantian View of Geometry.Allan F. Randall - unknown
Mathematics as an activity and the analytic-synthetic distinction.M. Otte & M. Panza - forthcoming - Boston Studies in the Philosophy of Science.
Kant's theory of geometrical reasoning and the analytic-synthetic distinction. On Hintikka's interpretation of Kant's philosophy of mathematics.Willem R. de Jong - 1997 - Studies in History and Philosophy of Science Part A 28 (1):141-166.
Remarks on Church’s Thesis and Gödel’s Theorem.Stanisław Krajewski - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 269-280.
Remarks on Church's Thesis and GOdel's Theorem.Stanisław Krajewski - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--269.
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.

Analytics

Added to PP
2013-03-01

Downloads
28 (#588,057)

6 months
3 (#1,046,148)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
Kant and the foundations of mathematics.Philip Kitcher - 1975 - Philosophical Review 84 (1):23-50.
Church's thesis misconstrued.Jonathan Berg & Charles Chihara - 1975 - Philosophical Studies 28 (5):357 - 362.
Are mathematical truths synthetic a priori?Jaakko Hintikka - 1968 - Journal of Philosophy 65 (20):640-651.

View all 6 references / Add more references