Teorema ketaklengkapan Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k -tl |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2 |
||
Baris 302:
* 1931, ''Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.'' ''Monatshefte für Mathematik und Physik 38'': 173-98.
* 1931, ''Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.'' and ''On formally undecidable propositions of Principia Mathematica and related systems I'' in [[Solomon Feferman]], ed., 1986. ''Kurt Gödel Collected works, Vol. I''. Oxford University Press: 144-195. The original German with a facing English translation, preceded by a very illuminating introductory note by [[Kleene]].
** Hirzel, Martin, 2000, ''[http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf On formally undecidable propositions of Principia Mathematica and related systems I.] {{Webarchive|url=https://web.archive.org/web/20040916041216/http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf |date=2004-09-16 }}''. A modern translation by Hirzel.
* 1951, ''Some basic theorems on the foundations of mathematics and their implications'' in [[Solomon Feferman]], ed., 1995. ''Kurt Gödel Collected works, Vol. III''. Oxford University Press: 304-23.
| |||