Second Thoughts about Church's Thesis and Mathematical Proofs

Journal of Philosophy 87 (5):225-233 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0022362X

DOI

10.2307/2026831

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

Second thoughts about church's thesis and mathematical proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.
The Church-Turing Thesis: A last vestige of a failed mathematical program.Carol Cleland - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 119-146.
On Wittgenstein's notion of the objectivity of mathematical proofs.Martha Alicia Trevino-Tarango - unknown
Mathematical Proofs: The Beautiful and The Explanatory.Marcus Giaquinto - unknown
Why proofs by mathematical induction are generally not explanatory.Marc Lange - 2009 - Analysis 69 (2):203-211.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Poglądy Kanta na matematykę a konstruktywizm.Marcin Poręba - 2012 - Filozofia Nauki 20 (1).
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Thoughts on Materialism.Leo C. Brown - 1928 - Modern Schoolman 4 (8):125-126.

Analytics

Added to PP
2016-06-30

Downloads
29 (#548,607)

6 months
11 (#233,459)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Decision Problem for Effective Procedures.Nathan Salmón - 2023 - Logica Universalis 17 (2):161-174.
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.

View all 21 citations / Add more citations

References found in this work

No references found.

Add more references