Teorema ketaklengkapan Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k +{{Authority control}} |
Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.8.5 |
||
Baris 388:
* {{SEP|goedel-incompleteness|Gödel's Incompleteness Theorems|Panu Raatikainen|November 11, 2013}}
* MacTutor biographies:
** [http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html Kurt Gödel.] {{Webarchive|url=https://web.archive.org/web/20051013055626/http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html |date=2005-10-13 }}
** [http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Gentzen.html Gerhard Gentzen.] {{Webarchive|url=https://web.archive.org/web/20121019181030/http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Gentzen.html |date=2012-10-19 }}
** [http://podnieks.id.lv/gt.html What is Mathematics:Gödel's Theorem and Around] by ''Karlis Podnieks''. An online free book.
* [http://blog.plover.com/math/Gdl-Smullyan.html World's shortest explanation of Gödel's theorem] using a printing machine as an example.
| |||