FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title What is Mathematics: Godel's Theorem and Around
 Author(s) Karlis Podnieks
 Publisher: University of Latvia (January 25, 2015)
 License(s): CC BYNCSA 1.0
 Hardcover/Paperback N/A
 eBook PDF (259 pages, 1.41 MB)
 Language: English
 ISBN10/ASIN: N/A
 ISBN13: N/A
 Share This:
Book Description
This book is an Hypertextbook 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 CostaDoria 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.
About the Authors Karlis Podnieks is a Professor and Faculty of Computing at University of Latvia.
 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
:






















