Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out [Book Review]

Philosophia Mathematica 28 (1):108-116 (2020)
  Copy   BIBTEX

Abstract

Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. Princeton, NJ: Princeton University Press, 2018, pp. 200. ISBN 978-0-69-117717-5 (hbk), 978-0-69-119641-1 (pbk), 978-1-40-088903-7 (e-book).

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkaa003

Links

PhilArchive

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

J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. [REVIEW]Jeffry L. Hirst - 2018 - Bulletin of Symbolic Logic 24 (2):176-177.
Looking From The Inside And From The Outside.A. Carbone & S. Semmes - 2000 - Synthese 125 (3):385-416.
Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures.James Robert Brown - 1999 - New York: Routledge.
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
Philosophy of mathematics: a contemporary introduction to the world of proofs and pictures.James Robert Brown - 2008 - New York: Routledge.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem?Annie Selden - 2003 - Journal for Mathematics Education Research 34 (1):4-36.
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: Cambridge University Press.
Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.

Analytics

Added to PP
2020-03-02

Downloads
162 (#114,985)

6 months
45 (#87,379)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Benedict Eastaugh
University of Warwick

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.

View all 9 references / Add more references