Principia Mathematica
Principia Mathematica (Prinsip-prinsip Matematika) adalah buku 3 volume yang ditulis oleh Bertrand Russell bersama Alfred North Whitehead pada tahun 1910, 1912, dan 1913.
Dalam buku ini, Russell benar-benar berusaha mendemonstrasikan bahwa matematika dapat direduksi menjadi logika. Ia membuktikan bahwa 1+1=2 dari logika, dan ia memerlukan lebih dari 360 halaman untuk membuktikannya.
Bagian terakhir pembuktian bahwa 1+1=2 dalam Principia Mathematica. Terlihat sangat indah sekali walaupun entah bagaimana cara membacanya.
β54Β·43. β’: .πΌ,π½ β 1.β: πΌ β© π½ = π².β‘.πΌ βͺ π½ β 2
Dem.
β’.β54Β·26 .β β’: .πΌ = πΎβπ₯.π½ = πΎβπ¦.β: πΌβͺπ½ β 2.β‘.π₯ β π¦.
[β51Β·231] β‘.πΎβπ₯ β© πΎβπ¦ = π².
[β13Β·12] β‘.πΌ β© π½ = π² (1)
β’.(1).β11Β·11Β·35.β
β’: .(βπ₯,π¦).πΌ = πΎβπ₯.π½ = πΎβπ¦.β: πΌ βͺ π½ β 2.β‘.πΌ β© π½ = π² (2)
β’.(2).β11Β·54.β52Β·1. β β’.Prop
From this proposition it will follow, when arithmetical
addition has been defined, that 1 + 1 = 2
Dalam buku ini Whitehead dan Russell berusaha membangun keseluruhan teori matematika dengan menurunkannya dari teori logika. Sekalipun sangat canggih, sebenarnya mereka secara tidak sadar memasukkan aksioma-aksioma tambahan non-logika dalam membangun teorinya, yaitu aksioma ketakberhinggaan, aksioma pilihan, dan aksioma ketereduksian.
Karena sistem ini mengandung aksioma non-logis, berarti mereka sebenarnya belum menunjukkan bahwa matematika dapat diturunkan dari logika.
Tetapi ...
Walaupun matematika tidak berhasil diturunkan dari logika, ada hal yang menarik dalam teknologi yang kamu pakai sehari-hari.
Setiap komputer yang kamu gunakan (termasuk ponsel) menyimpan data dalam bentuk simbol 0 dan 1 yang dapat diartikan sebagai salah
dan benar
. Perangkat utama dalam komputer disusun dengan komponen-komponen yang pada dasarnya adalah aturan operasi logika: negasi, konjungsi dan disjungsi. Operasi-operasi aritmatika di dalamnya juga disusun menggunakan rangkaian logika. Seluruh program komputermu dibangun dari operasi-operasi sederhana ini, termasuk Mobile Legends.
Jadi walaupun asumsi logisisme bisa ditolak, tetapi bukan berarti sama sekali tidak bernilai. Dalam matematika dan sains, kegagalan dan kemajuan tampak tak dapat dipisahkan.
20th Century Mathematics β Russell and Whitehead - Story of Mathematics
Crisis in The Foundation of Mathematics - PBS Infinite Series
Berikutnya: Kurt GΓΆdel (1906-1978)