Church's thesis: Prelude to a proof

Philosophia Mathematica 6 (3):302-323 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/6.3.302

Links

PhilArchive



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

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

Janet Folina, Poincaré and the Philosophy of Mathematics. [REVIEW]Michael Detlefsen - 1995 - Philosophia Mathematica 3 (2):208-218.
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.
Review of J. Folina, Poincare and the Philosophy of Mathematics. [REVIEW]Michael Detlefsen - 1995 - Philosophia Mathematica 3 (2):208-218.
Women and the so-called “mathematical talent”: A prelude to sociopsychology.J. Fang - 1976 - Philosophia Mathematica (1):130-170.
Church's thesis, "consistency", "formalization", "proof theory" : dictionary entries.Wilfried Sieg - unknown
Review of P. Fletcher, Truth, Proof and Infinity: A Theory of Constructive Reasoning.Fred Richman - 2000 - Philosophia Mathematica 8 (2):214-220.
Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics. Springer, 2014. ISBN: 978-3-319-05815-3 ; 978-3-319-05816-0 . Pp. xi + 202. [REVIEW]Audrey Yap - 2016 - Philosophia Mathematica 24 (2):275-277.
Review of D. Mac Kenzie, Mechanizing Proof: Computing, Risk, and Trust.Otávio Bueno & Jody Azzouni - 2005 - Philosophia Mathematica 13 (3):319-325.
Computability, Proof, and Open-Texture.Stewart Shapiro - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 420-455.
Bettina Heintz. The inner world of mathematics. On the culture and practice of a proof-based discipline.B. Van Kerkhove - 2004 - Philosophia Mathematica 12 (1):69-74.

Analytics

Added to PP
2009-01-28

Downloads
84 (#68,186)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Janet Folina
Macalester College

Citations of this work

The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
The Decision Problem for Effective Procedures.Nathan Salmón - 2023 - Logica Universalis 17 (2):161-174.
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.

View all 16 citations / Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.

View all 10 references / Add more references