You're here: My Science Blogging » Matematika » Article: Charles Dogdson & Lambang
yuti — August 9, 2007 / 12:01 pm
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.
Post to: delicious, Digg, ma.gnolia, Stumbleupon
Search only in this blog
Search across Asia Blogging Network
More? Go to Asia Blogging Network Column section.
wachid on Otong Jualan Minyak wachid on Timbangan & Apel Otong wachid on Kecepatan Perahu abumuadz on Menanam Pohon abumuadz on Putaran Otong Lenny P Dewi on Muhammad ibn Musa al-Khwarizmi watchmath on Maman A. Djauhari wachid on Timbangan & Apel Otong wachid on Timbangan & Apel Otong wachid on Tentara, Buaya & Kano
Ikuti diskusi, tuliskan komentar Anda.