Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics - Image 1

£39.98

Birkhauser Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Name: Godel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
Brand: Birkhauser
Price: 39.98 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 22 days • 22 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 1 price levels

Days at Price

Price Analysis

Most common price: £40 (22 days, 100.0%)

Price range: £40 - £40

Price levels: 1 different prices over 22 days

Description

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 3030522814
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 17 October 2021
Listed Since: 20 September 2021

Barcode

No barcode data available

Birkhauser Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Set Theory, Logic and their Limitations

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Mathematical Logic: An Introduction (De Gruyter Textbook)

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

A First Course in Mathematical Logic and Set Theory

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

A First Journey through Logic (Student Mathematical Library)

Logic for Mathematicians

Set Theory: With an Introduction to Real Point Sets

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

Notes on Set Theory (Undergraduate Texts in Mathematics)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Mathematical Logic