
Recent Posts
 The Atomic Nucleus – Korsunsky
 Problems in Theoretical Physics – Grechko, Sugakov, Tomasevich, Fedorchenko
 Calculus: Basic Concepts for High Schools – Tarasov
 Applied Methods in the Theory of Nonlinear Oscillations – Starzhinskii
 Problems in Elementary Mathematics for Home Study – Antonov, Vygodsky, Nikitin, Sankin
Archives
 Aerodynamics astronomy books chemistry children's stories engineering foreign languages publishing geology history life sciences little mathematics library mathematics meteorology mir books mir publishers philosophy physics physics for everyone physiology problem books progress publishers psychology raduga publishers science science for everyone soviet statistics technology Uncategorized used books
Meta
Trackers on the site…
There are trackers on the site apart from Wordpress Stats. If you don't know what trackers are, or wish not to be tracked go here http://donttrack.us to get tools which allow you to do so.Blogroll
Tag Archives: Gödel’s proof
Little Mathematics Library – Gödel’s Incompleteness Theorem
After the last two posts by V. A. Uspenskii (check out his site here) which dealt with Post’s Machine, and Pascal’s Triangle, we now come to another book by him in the Little Mathematics Library series titled Gödel’s Incompleteness Theorem. … Continue reading
Posted in books, computers, little mathematics library, mathematics, philosophy
Tagged algorithms computers, Gödel's proof, godel, incompleteness theorem, logic
6 Comments