Teorema ketaklengkapan Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
per BPA : sintaks <br> dan <code> OVER 232 CLUP 2 juga nonaktif | t=1'272 su=88 in=103 at=98 -- only 73 edits left of totally 162 possible edits | edr=000-0001(!!!) ovr=011-1111 aft=000-0001 |
k -tl |
||
Baris 1:
{{Orphan|date=Oktober 2016}}
'''Teorema ketaklengkapan Gödel''' ({{lang-en|Gödel's incompleteness theorems}}) adalah dua [[teorema]] [[logika matematika]] yang menetapkan batasan (''limitation'') inheren dari semua kecuali [[:en:axiomatic system|sistem aksiomatik]] yang paling trivial yang mampu mengerjakan [[aritmetika]]. Teorema-teorema ini, dibuktikan oleh [[Kurt Gödel]] pada tahun 1931, penting baik dalam logika matematika maupun dalam [[filsafat matematika]]. Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa [[:en:Hilbert's program|program Hilbert]] untuk menghitung himpunan lengkap dan konsisten dari [[:en:axiom|aksioma-aksioma]] bagi semua [[matematika]] adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap [[:en:Hilbert's second problem|soal Hilbert yang kedua]].
<!--
| |||