Jerman "BUKTIKAN" keberadaan "TUHAN" dengan Program Komputer

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.

sumber : Jelajah unik

Keunikan 2 Mantan Presiden USA

Kita tentu sudah pernah dengar nama John F. Kennedy & Abraham Lincoln

Percaya tidak percaya, pada tragedi pembunuhan kedua Presiden Amerika tersebut terdapat beberapa hal yang "UNIK" entah itu hanya sekedar kebetulan belaka atau memang sesuatu yang bisa dikatakan "ANEH"

Abraham Lincoln terpilih menjadi anggota Congress pada 1846.
John F. Kennedy terpilih menjadi anggota Congress pada 1946.

Abraham Lincoln terpilih menjadi presiden pada 1860.
John F. Kennedy terpilih menjadi presiden pada 1960.

Keduanya terutama sangat memperhatikan hak-hak sipil.

Baik isteri Lincoln ataupun Kennedy kehilangan anak-anaknya ketika berada di White House

Kedua presiden ditembak pada hari Jumat.
Kedua presiden ditembak di kepala.

Fakta-fakta berikutnya semakin aneh

Sekretaris Lincoln bernama Kennedy.
Sekertaris Kennedy bernama Lincoln.

Kedua presiden dibunuh oleh orang-orang selatan (Southerners).
Pengganti kedua presiden adalah orang selatan bernama Johnson.

Andrew Johnson (pengganti Lincoln) dan Lyndon B. Johnson (pengganti Kennedy)

Andrew Johnson, pengganti Lincoln, lahir pada 1808.
Lyndon Johnson, pengganti Kennedy, lahir pada 1908.
John Wilkes Booth, pembunuh Lincoln, lahir pada 1839.
Lee Harvey Oswald, pembunuh Kennedy, lahir pada 1939.
Kedua pembunuh dikenal dengan tiga nama.
Kedua nama pembunuh itu tersusun dari lima belas huruf.

John Wilkes Booth (pembunuh Lincoln) dan Lee Harvey Oswald (pembunuh Kennedy)

Fakta selanjutnya semakin aneh saja

Lincoln ditembak di sebuah teater bernama ‘Ford.’
Kennedy ditembak di sebuah mobil bermerek ‘Lincoln’ buatan ‘Ford.’
Lincoln ditembak di teater dan pembunuhnya lari dan bersembunyi di sebuah gudang.
Kennedy ditembak dari sebuah gudang dan pembunuhnya lari dan bersembunyi di sebuah teater.
Booth dan Oswald terbunuh sebelum disidangkan.

Dan yang terakhir, yang paling aneh

Seminggu sebelum Lincoln ditembak, ia berada di Monroe, Maryland.
Seminggu sebelum Kennedy ditembak, ia bersama Marilyn Monroe.

Setelah membaca fakta-fakta aneh di atas, tentunya anda akan bertanya-tanya, apa hubungan antara kedua presiden di atas? Keduanya tidak pernah bertemu satu sama lain karena perbedaan tahun. Mungkinkah itu semua sudah direncanakan?