PILIHAN
Dua Ilmuwan Jerman Buktikan Dalil Keberadaan Tuhan
Mereka menggunakan sejumlah program komputer untuk membuktikannya [ilustrasi] |
Kedua ilmuwan, Christoph Benzmüller dari Berlin Free University dan rekannya Bruno Woltzenlogel Paleo dari Technical University, Wina, telah berhasil membuktikan dalil keberadaan Tuhan yang sebelumnya telah dipopulerkan matematikawan Austria, Kurt Godel, dengan menggunakan komputer Macbook.
Dilansir Der Spiegel, Jumat 1 November 2013, Godel yang meninggal dunia pada 1978 meninggalkan dalil yang didasarkan pada prinsip logika modal. Ia berteori, bahwa entitas yang lebih tinggi dari mahluk haruslah ada.
Secara prinsip, kata Godel, karena Tuhan ada dalam pemahaman manusia maka menurut dia harus bisa dibuktikan keberadaannya.
Setelah menganalisis dalil Godel dalam tingkat matematika, kedua ilmuwan Jerman itu menunjukkan bukti bahwa dalil Godel adalah benar, setidaknya dalam tingkat pemahaman matematika.
"Ini benar-benar menakjubkan bahwa dari argumen Godel semua hal dapat dibuktikan secara otomatis dalam beberapa detik bahkan kurang, hanya menggunakan sebuah notebook standar," jelas Benzmuller.
Dia mengakui, untuk memproyeksikan dalil Godel itu memang sulit. Tapi dengan diserahkan pada bantuan komputer, sedikit-sedikit bisa menerangkan dalil Godel.
Dalam paper keduanya, Benzmuller dan Paleo menggunakan sebuah program sub bidang pembuktian penalaranan otomatis (automated theorem proving/ATP) dengan komputer.
Keduanya membuktikan beberapa dalil dan aksioma dibuktikan dengan beberapa program pembuktian seperti THF TPTP, Nitpick, LEO-II dan Satallax, program pembantu pembuktian seperti Coq, Isabelle.
Benzmuller berharap pembuktiannya ini bisa membantu menarik perhatian publik untuk menggunakan metode yang ia gunakan.
"Saya tidak tahu apakah cara ini akan menyedot perhatian besar publik atau tidak, tapi bukti ontologis Godel adalah contoh yang lebih baik dari sesuatu yang diakses dalam matematika atau kecerdasan buatan," tambah dia.
Dia mengatakan, sejatinya banyak ilmuwan yang bekerja pada bidang
yang sama dengannya. Bahwa penggunaan komputer dapat mengurangi beban matematika bukan hal yang baru meski hal itu tidak diterima oleh semua bidang.
Dan, pembuktian dalil Godel tentu bukan dalam rangka mengalahkan kaum atheis atau memenangkan kaum beragama. Temuan ini hanyalah sebatas pembuktian ilmu pengetahuan. "Bagaimanapun, semuanya kembali ke keyakinan masing-masing," kata Benzmuller. (*)
Source: viva.co.id
BERITA LAINNYA +INDEKS
Polisi Buru Mobil Ugal-ugalan di Jalan Sudirman
INHILKLIK - Terekam video yang memperlihatkan sebuah mobil Toyota Rush melaju dengan kecepatan ti.
Warga Kampar Resah, Gajah Liar Rusak Kebun dan Masuk Perkampungan
INHILKLIK - Warga Desa Koto Tibun, Kecamatan Kampar, Kabupaten Kampar resah. Sebab, sudah dua pek.
Menteri PANRB: Seleksi CPNS Sekolah Kedinasan Mulai Mei, CASN Juni
INHILKLIK - Pemerintah segera memulai tahapan seleksi calon aparatur sipil negara (CASN), baik un.
Rela Terabas Lumpur, Secarik Kisah Polri Wujudkan Pemilu Damai 2024 di Pinggiran Kota Seribu Parit
INHILKLIK.COM, TEMBILAHAN - Polsek Tembilahan Hulu merupakan salah satu dari 20 .
Diduga Dibuang, Bayi Perempuan di Bagansiapiapi Ditemukan Warga di Pekarangan Rumah
INHILKLIK - Seorang bayi perempuan yang baru saja lahir dan masih lengkap dengan ari-arinya terbu.
Geger! Warga Temukan Mayat Pria Tanpa Identitas di Pinggir Jalan Yos Sudarso Pekanbaru
INHILKLIK - Sesosok mayat pria tanpa identitas ditemukan di pinggir Jalan Yos Sudarso, Km 17, Kel.
TULIS KOMENTAR +INDEKS