Sistem Formal sebagai Graf Berarah
Sistem aksiomatik formal mendefinisikan graf berarah:
- Simpul: semua rumus yang terbentuk dengan baik dapat dibangun dari simbol sistem
- Tepi: langkah inferensi — satu rumus mengikuti dari yang lain oleh aturan inferensi
- Aksioma: simpul sumber yang dibedakan tanpa tepi masuk
- Teorema: semua simpul yang dapat dicapai dari himpunan aksioma
Sebuah bukti dari teorema T: lintasan berarah dari himpunan aksioma ke T. Bukti adalah urutan simpul A₁, A₂, ..., Aₙ = T di mana setiap langkah mengikuti aturan inferensi.
Dua sifat fundamental dari sistem formal, diekspresikan secara geometris:
Konsistensi: tidak ada rumus F dan negasinya ¬F yang keduanya dapat dicapai dari aksioma. Secara geometris: simpul teorema F dan simpul teorema ¬F tidak keduanya dapat dicapai. Tidak ada lintasan 'ledakan'.
Kelengkapan: setiap rumus F atau ¬F adalah teorema (dapat dicapai). Secara geometris: grafnya sangat terhubung dalam arti bahwa untuk setiap simpul F, setidaknya satu dari F atau ¬F memiliki lintasan dari aksioma.
Ketaklengkapan Gödel sebagai Sifat Geometris
Kurt Gödel membuktikan pada tahun 1931 bahwa setiap sistem formal yang konsisten dan cukup kuat untuk menyatakan aritmatika dasar adalah tidak lengkap: ada rumus G sedemikian sehingga baik G maupun ¬G tidak dapat dibuktikan.
Secara geometris: dalam setiap sistem formal yang konsisten dan cukup kaya, ada simpul dalam grafik rumus yang tidak dapat dicapai dari aksioma — baik simpul G maupun simpul ¬G memiliki lintasan dari himpunan aksioma.
Konstruksi Gödel: dia menyandikan rumus G yang mengatakan, pada dasarnya, 'Saya tidak dapat dibuktikan.' Jika G dapat dibuktikan, sistem akan tidak konsisten (pernyataan yang benar mengatakan itu tidak dapat dibuktikan). Jika ¬G dapat dibuktikan, sistem akan tidak konsisten (G akan salah tetapi sistem membuktikannya). Jadi baik G maupun ¬G tidak dapat dibuktikan — G adalah simpul yang tidak dapat dicapai dalam sistem yang konsisten.
Ketaklengkapan bukan cacat dari aksioma yang dipilih: Gödel menunjukkan bahwa ini adalah sifat struktural dari setiap sistem yang konsisten dan cukup ekspresif untuk menangani aritmatika. Simpul yang tidak dapat dicapai tidak dapat dihapus dengan menambahkan aksioma lagi tanpa menghasilkan yang baru.
Objek Matematika sebagai Titik dalam Ruang
Pandangan Platonik tentang matematika dapat diformalkan secara geometris: objek matematika menghuni ruang abstrak yang titik-titiknya adalah objek itu sendiri dan strukturnya diberikan oleh relasi di antara mereka.
Pertimbangkan bilangan asli ℕ = {0, 1, 2, 3, ...}. Relasi keterbagian mendefinisikan urutan parsial: m membagi n jika m | n. Urutan parsial ini mendefinisikan geometri — diagram Hasse dari kisi keterbagian.
Setiap bilangan prima duduk di posisi minimal di atas 1. Setiap bilangan komposit duduk di atas faktor primanya. Struktur ruang ini mengkodekan semua teori bilangan.
Apa yang membuatnya Platonik: struktur ini ada atau tidak ada pikiran mana pun yang mempelajarinya. Fakta bahwa 7 adalah prima — bahwa 7 tidak memiliki pembagi antara 1 dan 7 — adalah fakta tentang posisi 7 dalam kisi keterbagian, terlepas dari notasi, budaya, atau peradaban.
Setiap peradaban yang menyelidiki pencacahan dan keterbagian akan menemukan struktur yang sama. Geometri sistem bilangan bersifat universal.
Menavigasi Kisi Keterbagian
Dalam kisi keterbagian, kelipatan persekutuan terkecil (kpk) dari dua bilangan sesuai dengan gabungan mereka (batas atas terendah) dan pembagi persekutuan terbesar (ppb) sesuai dengan temu mereka (batas bawah terbesar).
ppb dapat dihitung melalui algoritma Euklides: ppb(a, b) = ppb(b, a mod b), berhenti ketika b = 0.
Apa yang Dihapus Abstraksi
Abstraksi geometri: memproyeksikan objek berdimensi tinggi ke subruang berdimensi lebih rendah. Proyeksi kehilangan informasi (koordinat bukan dalam subruang) tetapi mempertahankan struktur subruang dengan sempurna.
Abstraksi matematika bekerja dengan cara yang sama. Grup adalah himpunan dengan satu operasi biner yang memenuhi empat aksioma. Abstraksi ke struktur grup menghilangkan: elemen spesifik, aturan komputasi operasi spesifik, struktur tambahan apa pun (urutan, metrik, topologi). Yang tersisa: kerangka kerja empat aksioma.
Manfaatnya: setiap teorema tentang grup berlaku untuk SEMUA grup — bilangan bulat di bawah penjumlahan, rotasi di bawah komposisi, permutasi di bawah komposisi, simetri molekul, grup Galois dari persamaan polinomial — secara bersamaan. Teorema abstrak dapat dibuktikan sekali; contohnya gratis.
Inilah mengapa matematikawan murni menolak menambahkan asumsi khusus domain: setiap asumsi yang ditambahkan membatasi penerapabilitas teorema. Teorema tentang lapangan (menambahkan invers perkalian) berlaku untuk struktur lebih sedikit daripada teorema tentang gelang (tidak memerlukan invers perkalian).
Pertukaran Presisi-Generalitas
Ada pertukaran: teorema yang lebih abstrak berlaku lebih luas tetapi mengatakan lebih sedikit tentang contoh spesifik. Teorema tentang ruang vektor mengatakan lebih sedikit tentang ℝ^n daripada teorema khusus tentang ℝ^n (di mana jarak dan sudut didefinisikan).
Aturan tersirat Hamming: abstrak sejauh mungkin sambil mempertahankan sifat yang Anda butuhkan. Abstrak terlalu jauh dan teorema Anda menjadi vakum umum ('himpunan apa pun dengan operasi apa pun memenuhi...'). Abstrak terlalu sedikit dan teorema Anda gagal ditransfer ke aplikasi baru.