Screen LibraryGo del's way：exploits into an undecidable world
Saved in:
| Main Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
CRC Press,
|
| Publisher Address: | Boca Raton |
| Publication Dates: | c2012. |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| Carrier Form: | xxi, 138 p.: ill. ; 24 cm. |
| ISBN: |
9780415690850 (pbk.) 0415690854 (pbk.) |
| Index Number: | O141 |
| CLC: | O141 |
| Call Number: | O141/C435 |
| Contents: |
"A Balkema book." Includes bibliographical references (p. 130-138). "Kurt Go del (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory admits time machines. The Go del incompleteness phenomenon - one cannot prove nor disprove all true mathematical sentences in the usual formal mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic ... "This accessible book gives a new detailed and elementary proof of the Go 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"-- |