Asal- usul Aljabar Kotak

Armahedi Mahzar (c) 2011

Ketika saya pensiun jadi dosen fisika 12 tahun yang lalu, saya berniat jadi mahasiswa lagi, kali ini program studinya adalah matematika yang saya gandrungi dari dulu, karena studi saya ketika mahasiswa adalah fisika teori yang menggunakan banyak jenis matematika yang tidak digunakan para engineer.

Engineering pada zaman saya, paling-paling hanya mengenal bilangan 2 dimensi yaitu bilangan kompleks dengan satu bilangan imajiner. Di fisika kita mengenal matriks Pauli, matriks Gellmann dan matriks Dirac yang masing- masingnya dapat digunakan sebagai unit- unit bagi aljabar bilangan 4, 8 dan 16 dimensi yang sangat menakjubkan saya. Bilangan- bilangan multidimensi itulah yang jadi bidang studi saya selama saya pensiun.

Untuk itu saya masuk universitas mayantara ikut satu kelas alias milis bernama hypernumbers. Dalam studi saya tentang bilangan 16 dimensi saya terbentur pada persoalan aljabar logika, karena itu saya masuk kelas alias milis lawsofform. Di kelas logika ini saya akhirnya bertemu dengan aljabar kotak yang sangat ekonomis sebagai merumuskan aljabar Boole. hanya cukup satu simbol saja yaitu kotak dan satu aksioma saja yaitu reductio ad absurdum.



Nah, ketika bertemu dengan aljabar kotak saya pikir aljabar kotak itu lebih disempurnakan sehingga menjadi lebih visual non tekstual dalam bentuk aljabar baru yang saya sebut sebagai aljabar barang yang bisa dioperasikan di whiteboard dengan spidol untuk yang berpunya atau di papan tulis dengan kapur untuk yang hidupnya sederhana atau sekedar tanah dan sepotong ranting untuk yang tak punya apa-apa.

Intinya, aljabar barang ini bisa dilakukan jika kita punya media gambar yang dapat dihapus. Dengan media seperti ini sebuah pembuktian dapat diberlakukan sebagai sebuah permainan gambar- hapus yang bisa diajarkan pada anak-anak, dari yang prasekolah hingga yang sekolahan. Alhamdulillah, dengan aljabar kotak itu saya bisa membuktikan satunya silogisme tradisional. Namun sayang, saya terpaksa harus menggunakan notasi tekstual tanda kurung dalam pemaparannya di FBnotes sehingga membingungkan banyak orang.

Mudah- mudahan, saya bisa bikin videonya bisa ditayangkan di youtube. Tetapi entah kapan :(

Scripto, Ergo Sum

Scripto Ergo Sum

Armahedi Mahzar (c) 2011

Suatu kali saya ditanya sahabat saya, mengapa saya menulis. Saya jawab saya menulis karena saya bicara. Maksud saya, saya menulis karena disuruh bicara di depan publik. Tapi itu tidak selalu benar. Saya menulis karena saya bicara pada diri sendiri. Kakang saya almarhum Endang Saifudin Anshari, dulu pernah mengatakan bahwa berpikir adalah berbicara pada diri sendiri.

Jadi, secara logika, saya menulis karena saya berpikir. Saya menulis sebagai bagian pelurusan pemikiran saya. Padahal, Rene Descartes pernah berkata "Cogito, Ergo Sum" yang berarti "Saya Berpikir Maka Saya Ada", Karena jawab saya pada sang sahabat adalah "saya berpikir, maka saya menulis," maka bisa juga dikatakan bahwa "Saya menulis, maka saya ada" alias "Scripto, Ergo Sum."

Kesimpulan Descartes "Saya Berpikir, Maka Saya Ada" adalah singkatan dari "Karena Saya Berpikir, Maka Saya Ada" yang artinya tak mungkin saya tak ada, karena kalau saya tak ada maka pikiran-pikiran saya tak ada padahal nyatanya pikiran-pikiran itu ada. Padahal, saya, Descartes, bertanya alias berpikir, jadi tak mungkin saya tiada. Karena itu pastilah saya, Descartes, ada.

Nah, kata orang bijak, manusia itu adalah Homo Sapiens alias makhluk berkaki dua yang berpikir. Jadi manusia itu "ada" yang merupakan "eksistensi" nya sebelum "berpikir" yang merupakan "esensi"nya. Jadi manusia itu ada dulu, baru berpikir, merasa dan menulis dan lain-lainnya. Jadi Descartes yang rasionalis itu sebenarnya adalah seorang eksistensialis sejati seperti Jean Paul Sartre di abad lalu.

Tapi Sartre bikin satu kejutan dengan menggunakan kata kerjawi "mengada" alih-alih kata "ada" yang bendawi. Karena itu dia bisa mengatakan bahwa benda-benda nirmanusia itu "mengada dalam dirinya sendiri", sedang manusia itu "mengada untuk dirinya sendiri." Jadi, kalau dikembalikan pada jawaban saya pada sahabat saya itu, saya itu "menulis untuk diri saya sendiri"

Dalam bahasa anak muda sekarang, saya menulis karena saya narsis. Kata narsis berasal dari tokoh cerita pusaka Yunani: Narcissus.

Narcissus adalah seorang remaja yang senang melihat dirinya sendiri dalam bayangannya di sebuah kolam. Nah, Marshall McLuhan pernah mengatakan bahwa media itu bagaikan kolam tempat Narcissus bercermin.

Pada mulanya, media yang ada adalah udara tempat kita mengukir pikiran-pikiran kita dalam bentuk ujar dan tutur. Kemudian manusia menatah huruf-huruf di batu kemudian menoreh tulisan di papirus lalu mencetak huruf-huruf di kertas dan akhirnya kini kita sama-sama merekam ketikan-ketikan kita di memori komputer dalam jejaring global bernama Internet.

Nah, Internet inilah media terakhir tempat saya menulis. Sebelum ada Internet, saya menulis di majalah dan makalah, lalu dikumpulkan dalam sebuah nirbuku tapi disebut buku. Gara-gara buku itu saya diundang berbicara depan umum, karena itulah saya menulis dan terus menulis. Kini, setelah tak laku lagi jadi pembicara di depan umum, menulis menjadi penyakit saya yang kronis dan internet adalah kolam saya tempat saya menuliskan dan melihat pikiran-piran sendiri sebagai seorang Narsisus.

Mula-mula menulis di newsgroups, lalu di mailing lists dan situs web, kemudian saya menemukan kolam baru bernama blog yang memungkinkan saya menulis sambil menempel gambar dengan mudah dan akhirnya saya menemukan media sosial bernama Facebook yang memiliki sebuah aplikasi bernama Notes. Sayangnya Notes di Facebook itu kini editornya berubah menjadi kurang bersahabat dengan penulis yang senang menempel gambar seperti saya. Jadi saya kurang bergairah untuk menulis di Facebook.

Apalagi, khalayak FB itu kurang senang untuk membaca orang yang menulis untuk dirinya sendiri seperti saya. Facebook lebih cocok untuk orang yang menulis untuk saling menyapa haha-hihi, bercanda wakakak-wakikik dan berbagi foto-foto diri sendiri untuk dapat dikomentari orang. FB adalah media komunikasi sosial, bukan media informasi intelektual.

FB cocok untuk Narcissus jenis lain, bukan cocok untuk Narcissus pikiran sejenis saya. Apa boleh buat. Karena sekarang terminal internet bukan lagi komputer-komputer yang menetap, tetapi telepon-telepon genggam yang bergerak yang sudah dibuat pintar buat orang yang sedang berada di perjalanan. Memang tak mungkin orang berpikir panjang sambil jalan-jalan. Kalau sekedar berpikir pendek dan praktis, tentu saja bisa.

Oleh karena itu, FB tak bisa lagi jadi kolam tempat Narcissus pikiran untuk bercermin muka seperti saya. Dengan demikian, Selamat tinggal FB. Saya kembali ke blog dan menulis di sana yang kemudian akan saya pasarkan lewat Twitter. Akan tetapi, sebagian dari saya akan tetap di Faceboook untuk suatu waktu bisa memasarkan penemuan saya di mayantara. Jadi, selamat ketemu kembali FB. Tapi ruh saya berada di tempat yang lain. Di tempat yang ketinggalan zaman: blog.

REDUCTIO AD ABSURDUM

Armahedi Mahzar (c) 2011

Bagian 6: Ikhtisar Simplifikasi Logika

Rangkaian blog Reductio ad Absurdum mengisahkan kisah pencarian sistem aksioma aljabar logika Boole yang tersederhana: baik oleh manusia semata, maupun dengan bantuan komputer.

Berikut ini adalah ringkasan blog-blog yang telah diposting sebelum ini. Tujuan dari ringkasan ini adalah memetakan perjalanan sejarah manusia untuk mengaksiomakan logika seekonomis mungkin.

Untuk bisa membandingkan berbagai aksioma yang secara signifikan maka saya di sini akan menyeragamkan perumusan aksioma tunggal itu dengan menggunakan simbolisasi Sheffer yang mendefinisikan operasi-operasi aljabar lain dengan satu operasi logika dasar yang menggabungkan TIDAK dengan DAN atau ATAU menjadi TIDAN alias NAND atau TATAU alias NOR yang disimbolkan oleh |.

Merumuskan Aksioma Logika

Dalam blog Reductio ad Absurdum bagian 1 dan bagian 2 diceritakan bagaimana logika yang ditemukan oleh Aristoteles dialjabarkan oleh George Boole dan kemudian aljabar Boole diaksiomakan berujung pada sistem aksioma Principia Mathematica yang merupakan linierisasi sistem simbolisasi planar Gotlobb Frege.

Dalam aksiomatisasi linier logika ini Russel-Whitehead mengambil dua operasi logika, yaitu TIDAK dan ATAU, sebagai operasi fundamental. Akan tetapi dalam perumusan aksioma-aksiomanya, Russel dan Whitehead menggunakan operasi gabungan JIKA x MAKA y yang didefinisikannya sebagai TIDAK(x) ATAU y.

Menyederhanakan Aksioma Logika

Dalam blog Reductio ad Absurdum bagian 3 ditunjukkan bagaimana usaha manusia untuk menyederhanakan aljabar Boole. Dimulai dengan Sheffer, matematikawan Amerika Serikat, yang menyederhanakan aksioma logika Russell-Whitehead , keduanya filsuf Inggris, dalam buku mereka Principia Mathematica.
Lalu matematikawan Perancis, Jean Nicod, pada tahun 1917 menurunkan semua Aksioma Sheffer dari sebuah aksioma tunggal dengan 5 variabel dan 11 operasi.
Tigabelas tahun kemudian, matematikawan Polandia Jan Lukasiewicz pada tahun 1931 menyederhanakan aksioma Nicod menjadi sebuah aksioma yang mengandung 4 variabel dan 11 operasi | atau NOR.

Kebuntuan Usaha Manusia

Dalam blog Reductio ad Absurdum bagian 4 dikisahkan bagaimana manusia mengalami kebuntuan untuk menyederhanakan aljabar Boole dengan hanya menggunakan operasi ATAU dan TIDAK.
Pada tahun 1933 Huntington menyederhanakan aksiomatisasi aljabar logika dengan menggunakan dua operasi fundamental yaitu ATAU dan TIDAK dengan tiga aksioma yaitu komutativitas, asosiativitas dan sebuah identitas logika yang kemudian disebut sebagai aksioma Huntington.

Muridnya pada tahun yang sama mengusulkan untuk mengganti aksioma Huntington dengan sebuah aksioma yang lebih sederhana yaitu aksioma Robbins. Namun sayang dia tak bisa membuktikan bahwa sistem aksioma baru itu merupakan basis bagi aljabar logika Boole.

Selama puluhan tahun, berbagai matematikawan dan logikawan berusaha untuk membuktikan kebenaran dugaan Robbins tersebut, namun selalu berujung pada kegagalan. Baru pada tahun 1996 William McCune berhasil membuktikan kebenaran dugaan Robbins itu dengan bantuan komputer.

Komputer Menuntaskan Penyederhanaan

Dalam blog Reductio ad Absurdum bagian 5 dikisahkan bagaimana komputer berhasil menuntaskan upaya penyederhanaan aljabar Boole. Misalnya William McCune pada tahun 2000 dengan bantuan komputer menemukan aksioma tunggal yang jika disingkat, dengan cara menuliskan NOR atau (x+y)' sebagai (x|y), mengandung 4 variabel, 6 operasi | dan 1 operasi '='


Namun berdasarkan daftar hasil komputasi Stephen Wolfram, yang menggunakan program Mathematica ciptaannya, McCune pada tahun 2000, dengan menggunakan program Otten ciptaannya, akhirnya dapat membuktikan identitas Wolfram itu adalah aksioma tunggal, bagi aljabar Boole, yang mengandung 3 variabel, 6 operasi | dan 1 operasi '='. Namun sayang identitas Wolfram bagi saya tidak mempunyai makna yang intuitif.

Kesimpulan sementara

Ternyata komputer sangat berguna untuk memecahkan masalah penyederhanaan aksiomatik logika sehingga pada akhirnya menemukan aksioma tersederhana bagi Aljabar Logika Boole.
Kenyataan ini seolah mengatakan pada kita bahwa komputer lebih hebat daripada manusia dalam penyelesaian masalah matematika, bukan hanya yang praktis numerik, tetapi juga yang abstrak teoritis non-numerik. Apakah memang betul demikian?

Blog-blog berikut akan mencoba menunjukkan bahwa kenyataan yang sebenarnya adalah kebalikannya. Aksioma Robbins ternyata akan menjadi aksioma tunggal jika kita merumuskan aljabar Boole dalam bentuk simbolisasi planar. Aksioma ini bahkan lebih sederhana lagi daripada aksioma Wolfram yang ditemukan komputer. Lebih dari itu, aksioma Robbins ini adalah simbolisasi dari sesuatu yang intuitif: reductio ad absurdum.

REDUCTIO AD ABSURDUM

Armahedi Mahzar (c) 2011

Bagian 5 : Mengkomputerkan untuk Menyelesaikan

Seorang pakar komputer, Winkler , kemudian pada tahun 1992 menemukan bahwa jika kita menambahkan pada sistem aksioma Robbins sebuah persyaratan tentang adanya dua elemen aljabar C dan D sehingga (C + D)' = (D)', maka aljabar Robbins identik dengan aljabar Boole. Dia membuktikan pernyataannya itu dengan menggunakan program komputer di lab Argonne.


Pada tahun 1996 William McCune dengan menggunakan sebuah perangkat lunak yang bernama EQP berhasil menemukan eksistensi kedua elemen itu dalam aljabar Robbins setelah menjalankan komputernya selama lebih dari lima hari waktu mesin.

Ini berarti tiga aksioma Robbins itu bisa seolah-olah merupakan merupakan basis yang terkecil bagi Aljabar Boole. Namun sebenarnya ada seorang matematikawan, Meredith, menemukan sebuah pasangan aksioma

(Meredith1) (x' + y)' +       x = x
(Meredith2) (x' + y)' + (z + y) = y + (z + x) 

sebagai basis terkecil bagi aljabar Boole.
Namun, dengan software Mathematica ciptaannya, Stephen Wolfram menemukan adanya 25 buah rumus yang mungkin digunakan sebagai aksioma tunggal yang hanya melibatkan 3 variabel dan 7 operasi jauh lebih sederhana dari aksioma tunggal Jean Nicod.

Namun McCune, ahli komputer yang berhasil membuktikan bahwa aljabar Robbins identik dengan aljabar Boole, menemukan sebuah aksioma tunggal saja

(McCune 1)       (((x+y)'+z)'+(x+(z'+(z+u)')')')' = z 

yang terdiri hanya terdiri dari 6 operasi ATAU, 7 operasi TIDAK dan 4 variabel. Ini lebih sederhana dari sistem aksioma Robbins yang menggunakan 9 operasi +, 4 operasi ' dan 3 variabel.
Bahkan dia akhirnya bisa membenarkan dugaan Wolfram itu melalui pembuktiannya secara komputasional dan menunjukkan salah satu dari 25 identitas logis Wolfram adalah sebuah aksioma tunggal lain dengan notasi NAND di mana a NAND b ditulis a|b sebagai berikut

(McCune 1')  (x|((y|x)|x))|(y|(z|x)) = y 

Namun, mengingat sifat simetri dualitas aljabar Boole, a|b dalam aksioma ini dapat dibaca juga sebagai a NOR b atau (a + b)' , sehingga aksioma ini dapat dituliskan sebagai

(McCune 1')       ((x+((y+x)'+x)')'+(y+(z+x)')')' = y 

yang terdiri dari 6 operasi dan 3 variabel. Rumus ini lebih sederhana dari aksioma yang ditemukan McCune terdahulu. Jadi rumus ini merupakan aksioma tersederhana yang ditemukan oleh komputer.

Namun, sebagai sebuah aksioma, dia sangatlah sulit untuk diinterpretasikan secara intuitif. Karena itu kita harus mencari jalur non-komputer untuk menyederhanakan hasil komputer ini lebih lanjut seperti yang akan diceritakan dalam blog berikut ini.

REDUCTIO AD ABSURDUM

Armahedi Mahzar (c) 2011

Bagian 4 : Menyederhanakan Aksioma Aljabar Logika

Perjalanan sejarah menunjukkan bahwa setelah aljabar proposisi logika Boole berhasil direduksi menjadi sistem 6 aksioma dan 2 operasi primitif dalam Principia Mathematica, reduksi ini terus berlanjut hingga ditemukannya sistem formal logika Jean Nicod dengan 1 aksioma 1 operasi. Namun sayangnya aksioma Nicod itu sangatlah panjang dan sangat sulit dipahami. Walaupun begitu sejarah juga menunjukkan bahwa ternyata ada jalan-jalan lain untuk menyederhanakan aljabar logika.

Memang, perumusan aksiomatik Russell - Whitehead dengan notasi linier lebih jelas dari pada sistemnya Frege yang menggunakan notasi 2-dimensi atau planar. Namun sayangnya, kedua penulis Principia Mathematica ini justru mengembalikan simbolisasi linier atau satu dimensi dalam penelitian matematika logika dan mereka pun telah menghilangkan perumusan pernyataan aljabar logika, sebagai persamaan, seperti yang ditemukan oleh Boole, menjadi sebuah rangkaian pernyataan JIKA MAKA.

Walaupun aksioma-aksioma Principia dituliskan dalam rangkaian JIKA MAKA, sebenarnya konsep operasional dasarnya adalah ATAU dan TIDAK. Dimana JIKA a MAKA b atau a->b dirumuskan sebagai TIDAK(a) ATAU b atau a' + b. Itulah sebabnya terjadilah upaya-upaya penyederhanaan dengan menggunakan persamaan-persamaan dengan notasi a + b untuk a ATAU b dan notasi a' untuk TIDAK(a) sebagai aksioma-aksioma.

Misalnya, pada tahun 1933 Edward Vermilye Huntington (1874-1952), matematikawan Amerika, membuat sistem aksiomatik dengan 3 aksioma 2 simbol (+ dan ') sebagai berikut

(Komutativitas)                  x + y = y + x
(Asosiativitas)            (x + y) + z = x + (y + z)
(Huntington)  (x' + y)' + (x' + y')' = x

Sistem ini berhasil menurunkan semua identitas logis dalam Aljabar Boole.


Tak lama kemudian muridnya, Herbert Ellis Robbins (1915-2001) mencoba menyederhanakan sistem aksioma Huntington menjadi sistem 3 aksioma berikut

(Komutativitas)                  x + y = y + x
(Asosiativitas)           (x + y) + z = x + (y + z)
(Robbins)    ( (x + y)' + (x + y')')' = x

Namun sayang, Robbins tidak bisa membuktikan bahwa aljabar yang dibangun dengan tiga aksioma ini adalah identik dengan aljabar Boole. Bahkan banyak matematikawan telah mencoba membuktikan secara manual bahwa aljabar Robbins identik dengan aljabar Boole, namun semuanya berujung pada kegagalan. Baru pada tahun 1996, sebelum Robbins meninggal dunia, akhirnya dugaannya itu dibuktikan benar oleh William McCune dengan bantuan komputer .

REDUCTIO AD ABSURDUM

Armahedi Mahzar (c) 2011

Bagian 3 : Mengaksiomakan Aljabar Logika

Maka, Bertrand Russel (1872-1972) dan Alfred North Whitehead (1861-1947) bekerja bersama untuk melinierkan kembali aljabar Frege   dan berupaya membangun seluruh matematika dari hanya enam buah aksioma logika saja. Walaupun nanti Kurt Godel (1906-1978) membuktikan bahwa ilmu hitung tak mungkin dibangun melalui sistem aksiomatik, keenam aksioma mereka tetap merupakan aksioma yang ekonomis untuk aljabar logika Boolean. Dia cukup menggunakan dua konsep yang primitif, operasi ATAU dan operasi TIDAK, dan enam pernyataan primitif atau aksioma.
Walaupun jumlah aksioma logika hampir sama dengan jumlah aksioma geometri, jumlah itu bukanlah jumlah yang paling ekonomis. Misalnya saja, pada tahun 1913 Henry Maurice Sheffer (1882-1964) berhasil mengurangi jumlah aksioma menjadi empat dengan hanya satu operasi yaitu TIDAN (TIDAK DAN) alias NAND atau TATAU (TIDAK ATAU) alias NOR. Ini berarti bahwa sistem aksioma Sheffer merupakan sebuah penyederhanaan bagi sistem aksioma logika dalam Principia. Namun itu belum cukup sederhana.
Misalnya, Jean George Pierre Nicod , matematikawan Perancis, berhasil mereduksi sistem aljabar logika Sheffer itu menjadi sistem formal dengan hanya menggunakan tiga buah aksioma saja. Bahkan pada akhirnya dia kemudian dapat mereduksi sistemnya sendiri menjadi sistem logika simbolik berbasis sebuah aksioma tunggal dengan satu simbol saja yaitu NAND alias NOT-AND, di mana x NAND y ditulis sebagai x|y.
Namun sayangnya aksioma tunggal ini sangatlah panjang, melibatkan lima variabel dan sama sekali tidak lah intuitif karena menggunakan operasi NAND.

((a|(b|c))|((e|(e|e))|((d|b)|((a|d)|(a|d)))))

Melihat kompleksnya aksioma tunggal itu, maka tentu saja orang akan berusaha menyederhanakannya lebih lanjut.
Misalnya, pada tahun 1931, Jan Lukasiewicz (1878-1956) berhasil mengurangi jumlah variabel dalam rumus Nicod menjadi empat dalam aksioma tunggal

((P|(Q|R))|((S|(S|S))|((S|Q)|((P|S)|(P|S)))))

Walaupun lebih sederhana, tetap saja tidak intuitif seperti halnya aksioma-aksioma geometri Euklides. Untuk mengurangi jumlah variabel menjadi tiga, tampaknya, dibutuhkan bantuan komputer seperti yang akan diceritakan nanti pada artikel yang kemudian.

REDUCTIO AD ABSURDUM

Armahedi Mahzar (c) 2011

Bagian 2 : Mengaljabarkan Logika

Semenjak ilmu Logika ditemukan oleh Aristoteles    ilmu tersebut dapat dikatakan sebagai bagian dari ilmu sastra karena kita harus menggunakan kata-kata dalam memaparkannya. Namun karena sulitnya, orangpun menciptakan berbagai macam simbol untuk menyingkat hukum-hukum itu, namun masih saja tetap sulit.

Filsuf Gottfried Wilhelm Leibniz di abad ke-17 masehi memimpikan logika sebagai cabang matematika, tetapi tak dapat menemukannya. Baru di abad XIX, George Boole (1815-1864) matematikawan Inggris menemukan Aljabar Logika. Dalam logika pernyataan-pernyataan yang BENAR dan SALAH digabungkan dengan operasi ATAU dan DAN. Untuk mematematikkan logika maka dia melambangkan BENAR dengan 1 dan SALAH dengan 0.
Boole melihat bahwa penggabungan DAN itu mirip dengan perkalian x. Soalnya pernyataan BENAR hanya menjadi BENAR hanya jika digabungkan melalui DAN dengan pernyataan lain yang BENAR, lain dari pada itu hasilnya adalah SALAH. Hal ini mirip dengan fakta ilmu hitung dimana 1 hanya menjadi 1 jika di kalikan dengan 1, lain dari pada itu hasilnya adalah 0. Dalam simbol ilmu hitung, ini berarti 1 x 1 = 1 dan 1 x 0 = 0 X 1 = 0 X 0 = 0. Mirip kan?
Namun, William Stanley Jevons (1835 –1882), filsuf Inggris, melihat bahwa logika mempunyai hukum aritmetika yang berbeda untuk operasi ATAU inklusif. Soalnya, dua pernyataan menjadi BENAR bila digabungkan melalui ATAU hanya jika salah satu pernyataan itu BENAR, selain dari pada itu hasilnya adalah SALAH. Jika ATAU disimbolkan dengan + maka pernyataan itu berarti 1 + 1 = 1 + 0 = 0 + 1 = 1 dan 0 + 0 = 0. Jadi 1 + 1 bukannya sama dengan 2 seperti dalam ilmu hitung, tetapi sama dengan 0.
Selanjutnya Boole melihat operasi logika TIDAK a mirip dengan operasi ilmu hitung 1 - a. Soalnya 1 - 1 = 0 mirip dengan TIDAK BENAR = SALAH dan 1 - 0 = 1 mirip dengan TIDAK SALAH = BENAR. Dengan demikian dia menemukan sebuah ilmu hitung logika yang hanya mempunyai nilai 1 dan 0 dan mempunyai tiga operasi aritmetika +, X dan -. Di atas aritmetika logika inilah dia membangun aljabar logika di mana terdapat hubungan-hubungan aljabar yang aneh seperti misalnya x x = x + x = x untuk semua harga x.
Pada akhir abad ke-19, Charles Sanders Peirce (1839-1914), matematikawan Amerika Serikat, dan Friedrich Ludwig Gottlob Frege (1848-1925) , matematikawan Jerman, merumuskan aljabar logika dengan simbolisasi dua dimensi atau gambar-gambar. Namun sayangnya, karena rumitnya notasi itu, maka penemuan mereka tidak populer di kalangan matematikawan yang terbiasa dengan untaian satu dimensi simbol-simbol matematik seperti pada ilmu hitung dan aljabar.

Armahedi Mahzar (c) 2011

REDUCTIO AD ABSURDUM

Bagian 1

Salah satu cara untuk membuktikan suatu pernyataan adalah dengan menunjukkan bahwa penyangkalan atau negasi pernyataan tersebut menyebabkan suatu pertentangan alias kontradiksi. Cara pembuktian seperti ini dalam tradisi logika abad pertengahan disebut sebagai "reductio ad absurdum"

Saya sudah lama mengetahui teknik pembuktian seperti itu karena anak SMP di zaman dulu diajari ilmu ukur dan Euklides lah yang membangun ilmu ukur secara aksiomatik dan dia kata http://mathworld.wolfram.com/ReductioadAbsurdum.html sangatlah mencintai metoda reductio ad absurdum ini.

Tentu saja waktu itu saya tak mengetahui nama Latin dari metoda tersebut. Belakangan saya mengenal metoda itu dari pembuktian tentang adanya Tuhan menurut St. Anselmus di abad XII, jika Tuhan didefinisikan sebagai Yang Maha Sempurna. Kalau Tuhan tidak ada maka berarti Dia tidak memiliki ada yang berarti tidak Maha Sempurna dan ini adalah suatu kontradiksi: Yang Maha Sempurna itu tidak sempurna. Jadi Tuhan itu wajib adanya.

Nah, ketika saya belajar logika modern yaitu logika Boole saya sudah lupa akan metoda itu, dan saya jatuh cinta pada logika Boole karena sifatnya yang simetris Dualitas. Bagi saya inilah keindahan alam cita. Kecintaan akan simetri itu akhirnya menyebabkan saya meneliti simetri partikel elementer untuk tugas akhir S1 dan skripsi S2.

Salah satu prinsip lain selain prinsip simetri adalah prinsip ekonomi dalam satu ilmu. Jika ada dua buah teori, untuk menjelaskan berbagai peristiwa, yang satu lebih sedikit pengertian dasarnya dibanding teori yang lain, maka teori yang pertama disebut lebih ekonomis. Teori yang ekonomis lebih disukai ketimbang teori yang kompleks.

Geometri Euklides adalah sebuah sistem matematika yang ekonomis. Semua hubungan geometris yang benar dapat dibuktikan secara logis sebagai konsekuensi dari hanya lima buah pernyataan intuitif yang disebut aksioma. Sistem aksioma Euklides adalah model bagi matematika lainnya. Misalnya, Giuseppe Peano (1858-1932), matematikawan Itali, membuat sembilan buah aksioma bagi membuktikan semua pernyatan-pernyataan ilmu hitung.

Dalam rangkaian artikel berikut ini saya akan menceritakan jalan bahwa upaya mengaksiomakan aljabar logika yang ditemukan oleh Boole yang ternyata berujung pada sebuah sistem aksiomatika paling ekonomis yang hanya memiliki sebuah satu operasi tunggal dan satu aksioma tunggal yang bisa diinterpretasikan sebagai reductio ad absurdum.