On the Depth of Szemeredi's Theorem

Philosophia Mathematica 23 (2):163-176 (2015)
  Copy   BIBTEX

Abstract

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered

Similar books and articles

What Does ‘Depth’ Mean in Mathematics?John Stillwell - 2015 - Philosophia Mathematica 23 (2):215-232.
Depth and Explanation in Mathematics.Marc Lange - 2015 - Philosophia Mathematica 23 (2):196-214.
Depth — A Gaussian Tradition in Mathematics.Jeremy Gray - 2015 - Philosophia Mathematica 23 (2):177-195.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Classification and interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Merleau-ponty's concept of depth.Anthony J. Steinbock - 1987 - Philosophy Today 31 (4):336-351.
A note on propositional proof complexity of some Ramsey-type statements.Jan Krajíček - 2011 - Archive for Mathematical Logic 50 (1-2):245-255.
Depth psychology and self-deception.Robert Lockie - 2003 - Philosophical Psychology 16 (1):127-148.
Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.

Analytics

Added to PP
2015-01-08

Downloads
797 (#18,629)

6 months
157 (#19,632)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrew Arana
Université de Lorraine

Citations of this work

Conceptual evaluation: epistemic.Alejandro Pérez Carballo - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press. pp. 304-332.
Mathematical Progress — On Maddy and Beyond.Simon Weisgerber - 2023 - Philosophia Mathematica 31 (1):1-28.
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.

Add more citations

References found in this work

Purity of Methods.Michael Detlefsen & Andrew Arana - 2011 - Philosophers' Imprint 11.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Fruitfulness as a Theme in the Philosophy of Mathematics.Jamie Tappenden - 2012 - Journal of Philosophy 109 (1-2):204-219.

Add more references