Scribd Logo
Unggah

Selamat datang di Scribd!

  • 116 tayangan

    Teorema Ketidaklengkapan Gödel Yang Pertama

    Diunggah oleh

    Ines Apituley Sopacua
    Dokumen ini membahas Teorema Ketidaklengkapan Gödel Pertama dan Kedua. Teorema Pertama menyatakan bahwa setiap teori formal yang mampu menyatakan aritmetika elementer tidak dapat sama-sama konsisten dan lengkap. Teorema Kedua menyatakan bahwa jika suatu teori formal memuat pernyataan mengenai konsistensinya sendiri, maka teori itu inkonsisten. Teorema Kedua memperkuat Teorema Pertama

    Hak Cipta:

    © All Rights Reserved
    Unduh sebagai DOCX, PDF, TXT atau baca online dari Scribd

    Teorema Ketidaklengkapan Gödel Yang Pertama

    Diunggah oleh

    Ines Apituley Sopacua
    116 tayangan1 halaman
    Dokumen ini membahas Teorema Ketidaklengkapan Gödel Pertama dan Kedua. Teorema Pertama menyatakan bahwa setiap teori formal yang mampu menyatakan aritmetika elementer tidak dapat sama-sama konsisten dan lengkap. Teorema Kedua menyatakan bahwa jika suatu teori formal memuat pernyataan mengenai konsistensinya sendiri, maka teori itu inkonsisten. Teorema Kedua memperkuat Teorema Pertama

    Deskripsi Asli:

    teorema ketidsk lengkapan

    Hak Cipta

    © © All Rights Reserved

    Format Tersedia

    DOCX, PDF, TXT atau baca online dari Scribd

    Apakah menurut Anda dokumen ini bermanfaat?

    Apakah konten ini tidak pantas?

    Dokumen ini membahas Teorema Ketidaklengkapan Gödel Pertama dan Kedua. Teorema Pertama menyatakan bahwa setiap teori formal yang mampu menyatakan aritmetika elementer tidak dapat sama-sama konsisten dan lengkap. Teorema Kedua menyatakan bahwa jika suatu teori formal memuat pernyataan mengenai konsistensinya sendiri, maka teori itu inkonsisten. Teorema Kedua memperkuat Teorema Pertama

    Hak Cipta:

    © All Rights Reserved
    Unduh sebagai DOCX, PDF, TXT atau baca online dari Scribd
    Unduh sebagai docx, pdf, atau txt
    116 tayangan1 halaman

    Teorema Ketidaklengkapan Gödel Yang Pertama

    Diunggah oleh

    Ines Apituley Sopacua
    Dokumen ini membahas Teorema Ketidaklengkapan Gödel Pertama dan Kedua. Teorema Pertama menyatakan bahwa setiap teori formal yang mampu menyatakan aritmetika elementer tidak dapat sama-sama konsisten dan lengkap. Teorema Kedua menyatakan bahwa jika suatu teori formal memuat pernyataan mengenai konsistensinya sendiri, maka teori itu inkonsisten. Teorema Kedua memperkuat Teorema Pertama

    Hak Cipta:

    © All Rights Reserved
    Unduh sebagai DOCX, PDF, TXT atau baca online dari Scribd
    Unduh sebagai docx, pdf, atau txt
    dari 1

    Teorema ketidaklengkapan Gödel yang pertama pertama kali muncul sebagai "Teorema VI"

    dalam makalah Gödel pada tahun 1931 berjudul "On Formally Undecidable Propositions in Principia
    Mathematica and Related Systems I."

    Teorema ini ditulis dalam matematika formal yang sangat teknis. Dapat dinyatakan secara lebih
    sederhana dari terjemahan bahasa Inggris sebagai:

    Setiap teori yang dihasilkan secara efektif yang mampu menyatakan aritmetika elementer
    tidak dapat sama-sama konsisten dan lengkap atau komplet. Khususnya, untuk
    setiap teori formal yang secara efektif dihasilkan dan yang konsisten, yang membuktikan
    kebenaran aritmetika dasar tertentu, ada suatu pernyataan aritmetika yang benar,[1] tetapi
    tidak dapat dibuktikan dalam teori ini (Kleene 1967, p. 250)

    Teorema ketidaklengkapan Gödel yang kedua pertama kali muncul sebagai "Teorema XI" dalam
    makalah Gödel pada tahun 1931 berjudul "On Formally Undecidable Propositions in Principia
    Mathematica and Related Systems I."

    Sebagaimana dengan teorema ketidaklengkapan pertama, Gödel menulis teorema ini dalam
    matematika formal yang sangat teknis. Dapat dinyatakan secara lebih sederhana dari terjemahan
    bahasa Inggris sebagai:

    Untuk setiap teori T yang dihasilkan formal secara efektif memuat kebenaran aritmetika
    dasar dan juga kebenaran tertentuk mengenai provabilitas formal, jika T memuat suatu
    pernyataan mengenai konsistensinya sendiri,maka T inkonsisten.

    Ini menguatkan teorema ketidaklengkapan pertama, karena pernyataan yang dikonstruksi dalam
    teorema ketidaklengkapan pertama tidak secara langsung menyatakan konsitensi teori itu. Bukti
    dari teorema ketidaklengkapan kedua diperoleh dengan memformalisasi bukti dari teorema
    ketidaklengkapan pertama dari dalam teori itu sendiri

    Anda mungkin juga menyukai