you're reading...
Dunia, News

Ilmuwan Jerman Membuktikan Keberadaan Tuhan Menggunakan Komputer

Komputer TuhanChristoph Benzmuller dan Bruno Woltzenlogel Paleo adalah dua ilmuwan yang mencoba membuktikan keberadaan Tuhan dengan menggunakan komputer. Dua ilmuwan asal Jerman tersebut melanjutkan teori yang ditinggalkan oleh mendiang matematikawan asal Austria Kurt Godel.

Sebelumnya Godel telah mengemukakan dalil keberadaan tuhan yang diuji cobanya melalui komputer Macbook. Dalil tersebut berdasarkan pada prinsip logika modal, dimana salah satu teorinya adalah bahwa entitas yang lebih tinggi dari makhluk haruslah ada.

“Ini benar-benar menakjubkan bahwa dari argumen Godel semua hal dapat dibuktikan secara otomatis dalam beberapa detik bahkan kurang, hanya menggunakan sebuah notebook standar,” terang Benzmuller kepada majalah mingguan Jerman, Der Spiegel.

Benzmuller dan Paleo membuktikan penelitian tersebut dengan menggunakan program pembuktian seperti THF TPTP, LEO-II, Satallax, dan Nitpick serta program pembantu pembuktian seperti Isabelle, dan Coq.

Benzmuller menambahkan, “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”.

Pembuktian Tuhan dengan menggunakan komputer ini sendiri tidak bermaksud untuk menyerang kaum atheis dan hanya sebatas pembuktian ilmu pengetahuan. “Bagaimanapun, semuanya kembali ke keyakinan masing-masing,” tutup Benzmuller.

Advertisements

Discussion

No comments yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: