More download options

Intentional gaps in mathematical proofs

Synthese 134 (1-2):45 - 69 (2003) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Author's Profile

Northeastern University

Categories

Areas of Mathematics in Philosophy of Mathematics

Mathematical Proof in Philosophy of Mathematics

Keywords

Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language

Reprint years

2004

DOI

10.1023/a:1022131513275

Links

PhilArchive

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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

On the status of proofs by contradiction in the seventeenth century.Paolo Mancosu - 1991 - Synthese 88 (1):15 - 41.

Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.

The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.

Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.

The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.

A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.

Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.

Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.

Mathematical Proofs, Gaps and Postulationism.Hugh Lehman - 1984 - The Monist 67 (1):108-114.

Analytics

Added to PP
2009-01-28

Downloads
98 (#177,970)

6 months
10 (#277,276)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

Northeastern University

Citations of this work

Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - 2023 - Episteme 20 (2):281-307.

Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.

Deep Disagreement in Mathematics.Andrew Aberdein - 2023 - Global Philosophy 33 (1):1-27.

Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.

A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.

View all 36 citations / Add more citations

References found in this work

The nature of mathematical knowledge.Philip Kitcher - 1983 - Oxford: Oxford University Press.

The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.

Epistemic dependence.John Hardwig - 1985 - Journal of Philosophy 82 (7):335-349.

Science and method.Henri Poincaré - 1914 - New York]: Dover Publications. Edited by Francis Maitland.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.

View all 20 references / Add more references