• Title What is Mathematics: Godel's Theorem and Around
• Author(s) Karlis Podnieks
• Publisher: University of Latvia (January 25, 2015)
• License(s): CC BY-NC-SA 1.0
• Hardcover/Paperback N/A
• eBook PDF (259 pages, 1.41 MB)
• Language: English
• ISBN-10/ASIN: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This book is an 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.

This accessible book gives a new, detailed and elementary explanation of the Godel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities.

Besides theory, the historical report and personal stories about the main character and on this book's writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences.

• Karlis Podnieks is a Professor and Faculty of Computing at University of Latvia.

• Amazon
• Amazon (Godel's Proof)

• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• General and Miscellaneous Mathematics
• Discrete Mathematics

• What is Mathematics: Godel's Theorem and Around (Karlis Podnieks)
• The Mirror Site (1) - PDF
• Book Homepage (PDF Download, etc.)

• Incompleteness and Computability: Introduction to Gödel's Theorems
• A Friendly Introduction to Mathematical Logic (Chris Leary)
• Introduction to Mathematical Logic (Vilnis Detlovs, et al)
• A Problem Course in Mathematical Logic (Stefan Bilaniuk)
• Mathematical Omnibus: Thirty Lectures on Classic Mathematics