Logo

What is Mathematics: Gödel's Theorem and Around

Small book cover: What is Mathematics: Gödel's Theorem and Around

What is Mathematics: Gödel's Theorem and Around
by

Publisher: University of Latvia
Number of pages: 239

Description:
Hyper-textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Around Goedel's Theorem.

Home page url

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(8197 views)
Book cover: The Principles Of MathematicsThe Principles Of Mathematics
by - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(8547 views)
Book cover: forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(12590 views)
Book cover: A Manual of Intensional LogicA Manual of Intensional Logic
by - CSLI
An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.
(6930 views)