This accessible book gives a new detailed and elementary proof of the Gödel incompleteness theorems and then 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 lively historical report, the personal stories about the main character, and the writing process of this volume make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences.
- ISBN: 978-0-415-69085-0
- Editorial: CRC Press
- Encuadernacion: Rústica
- Páginas: 160
- Fecha Publicación: 01/11/2011
- Nº Volúmenes: 1
- Idioma: Inglés