Matematika

Matematikawan Oxford ini dikenal juga dengan nama Lewis Caroll, penulis buku Alice’s in Wonderland.  Buku yang menawarkan dunia dalam dimensi berbeda tersebut, ternyata tak terlepas dari minat Dogdson pada logika lambang. Dr. Ernest Nagel, profesor filsafat di Universitas Columbia menerjemahkan potongan-potongan percakapan yang dilakukan Alice menjadi lambang-lambang matematis. Penerjemahan ini berguna untuk memperlihatkan logika-logika yang digunakan dalam sebuah pernyataan.  

Logika lambang ini berguna untuk menyusun berbagai proposisi yang digunakan sebagai landasan bergerak dalam matematika. Sebagai ilustrasi adalah jika aksioma A diterima, maka muncul teorema B. Aksioma adalah suatu pernyataan yang diandaikan benar pada suatu sistem dan diterima tanpa pembuktian. Sedangkan teorema adalah pernyataan matematika yang dirumuskan secara logika dan dibuktikan. ’Kebenaran’ aksioma terletak pada konsistensinya jika dihadapkan pada aksioma lainnya. Salah satu bentuk pembuktian formal dari adanya proses perujukan ini bisa dilihat dari Teorema Ketidaklengkapan Godel.

Popularity: 31%