Reverse Mathematics

Regular price €22.99
A01=John Stillwell
Actual infinity
Age Group_Uncategorized
Age Group_Uncategorized
Algorithm
Arbitrarily large
Associative property
Author_John Stillwell
automatic-update
Axiom
Axiom of choice
Binary tree
Bolzano–Weierstrass theorem
Bounded quantifier
Cantor's diagonal argument
Cantor's theorem
Category1=Non-Fiction
Category=PB
Category=PBB
Category=PBCD
Category=PBK
Category=PBX
Category=PDX
Church–Turing thesis
Classical logic
Commutative property
Computability
Computable function
Computable number
Computation
Constructivism (mathematics)
Continuous function
Continuous function (set theory)
COP=United States
Decision problem
Dedekind cut
Delivery_Delivery within 10-20 working days
Elementary proof
Entscheidungsproblem
eq_isMigrated=2
eq_non-fiction
eq_science
Equation
Extreme value theorem
Geometry
Gödel's incompleteness theorems
Heine–Borel theorem
Infimum and supremum
Intermediate value theorem
Invariance of domain
Jordan curve theorem
Kruskal's tree theorem
Language_English
Least-upper-bound property
Mathematical induction
Mathematics
Maxima and minima
Monotone convergence theorem
Monotonic function
Natural number
Non-Euclidean geometry
Number theory
PA=Available
Predicate logic
Price_€20 to €50
Prime number
PS=Active
Pythagorean theorem
Quantifier (logic)
Ramsey theory
Ramsey's theorem
Rational number
Real number
Recursively enumerable set
Reverse mathematics
Riemann mapping theorem
Sequence
Set theory
Sign (mathematics)
Significant figures
softlaunch
Special case
Subset
Successor function
Theorem
Turing degree
Turing jump
Turing machine
Upper and lower bounds
Variable (mathematics)
Well-order
Zermelo–Fraenkel set theory

Product details

  • ISBN 9780691196411
  • Dimensions: 156 x 235mm
  • Publication Date: 24 Sep 2019
  • Publisher: Princeton University Press
  • Publication City/Country: US
  • Product Form: Paperback
  • Language: English
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days
: On Backorder

Will Deliver When Available
: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

The first book surveying the history and ideas behind reverse mathematics

Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics, John Stillwell offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.

John Stillwell is professor of mathematics at the University of San Francisco and an affiliate of the School of Mathematical Sciences at Monash University, Australia. His many books include Mathematics and Its History and Elements of Mathematics (Princeton).