Teorema ketaklengkapan Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Bersih-bersih (via JWB) |
Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.2 |
||
Baris 345:
* [[Ernest Nagel]], James Roy Newman, Douglas Hofstadter, 2002 (1958). ''Gödel's Proof'', revised ed. ISBN 0-8147-5816-9. {{MathSciNet|2002i:03001}}
* [[Rudy Rucker]], 1995 (1982). ''Infinity and the Mind: The Science and Philosophy of the Infinite''. Princeton Univ. Press. {{MathSciNet|84d:03012}}
* Smith, Peter, 2007. ''[http://www.godelbook.net/ An Introduction to Gödel's Theorems.]'' Cambridge University Press. [http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=AUCN&pg6=PC&pg7=ALLF&pg8=ET&s4=Smith%2C%20Peter&s5=&s6=&s7=&s8=All&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=2&mx-pid=2384958 MathSciNet]{{Pranala mati|date=Januari 2023 |bot=InternetArchiveBot |fix-attempted=yes }}
* N. Shankar, 1994. ''Metamathematics, Machines and Gödel's Proof'', Volume 38 of Cambridge tracts in theoretical computer science. ISBN 0-521-58533-3
* [[Raymond Smullyan]], 1991. ''Godel's Incompleteness Theorems''. Oxford Univ. Press.
| |||