Teorema ketaklengkapan Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k clean up, replaced: hakekat → hakikat using AWB |
k Bot: Perubahan kosmetika |
||
Baris 358:
* [[David Hilbert]] and [[Paul Bernays]], ''[[Grundlagen der Mathematik]]'', Springer-Verlag.
* [[John Hopcroft]] and [[Jeffrey Ullman]] 1979, ''[[Introduction to Automata Theory, Languages, and Computation]]'', Addison-Wesley, ISBN 0-201-02988-X
* James P. Jones, ''[http://www.ams.org/bull/1980-03-02/S0273-0979-1980-14832-6/S0273-0979-1980-14832-6.pdf Undecidable Diophantine Equations]'', Bulletin of the American Mathematical Society v. 3 n. 2, 1980, pp.
* [[Stephen Cole Kleene]], 1967, ''Mathematical Logic''. Reprinted by Dover, 2002. ISBN 0-486-42533-9
* Russell O'Connor, 2005, "[http://arxiv.org/abs/cs/0505034 Essential Incompleteness of Arithmetic Verified by Coq]", Lecture Notes in Computer Science v. 3603, pp. 245–260.
| |||