• Photo
  • Video
  • Cerita
  • Whats New
  • Populerhot
No Result
View All Result
  • Login
Dark Mode
No Result
View All Result
  • Login
Dark Mode
No Result
View All Result
Home Fenomena

Jerman “BUKTIKAN” Keberadaan “TUHAN” Dengan Program Komputer

Wanwan Max by Wanwan Max
10 years ago
in Fenomena
2 min read
Bagikan ke FacebookBagikan ke TwitterBagikan ke WhatsappBagikan ke TelegramBagikan ke LineQR Code

[www.andaikata.com] – 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.


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.

Baca Juga Artikel Terkait

Eskalator Mengerikan

Foto 8 Kejadian Super Aneh ini Bisa Bikin Kamu Merinding Disko, Lihat Aja !

27 Jul 2017
Api Abadi

Menakjubkan! Inilah 5 Fenomena Alam Paling Unik di Indonesia

17 Jan 2017
Load More

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.

@andaikatacom

Tags: Komputer
Share4Tweet2SendShareShareScan

Related Posts

komputer keyboard gaming

Keyboard Gaming Terbaik di Bawah 1 Juta di Bhinneka

13/04/2017
hardisk eksternal samsung M3

3 Merek Hardisk Eksternal Pilihan Terbaik dan Berkualitas

27/12/2016

4 Hal Sepele yang Membuat Baterai Laptop Lebih Tahan Lama

10/05/2016

10 Manfaat Lain Tombol Windows Pada Komputermu

10/02/2016

5 Inovasi Aksesoris Pada Monitor yang Membuat Kerja Lebih Menyenangkan

02/05/2014
Load More

PILIHAN PEMBACA

  • benua warna warni

    Sebutan 6 Benua Berdasarkan Warna dan Alasannya

    304 shares
    Share 122 Tweet 76
  • 5 Alasan ini yang Membuat Harga Smartphone Xiaomi Bisa Murah

    12 shares
    Share 5 Tweet 3
  • Cara Pejabat Booking Artis & Model Papan Atas

    49 shares
    Share 20 Tweet 12
  • 6 Alasan Kenapa Perempuan Harus Pakai Bra

    85 shares
    Share 34 Tweet 21
  • Urbanisasi, Cerita Klasik Pasca Lebaran

    9 shares
    Share 4 Tweet 2
  • Inikah 5 Tanda Kiamat Semakin Dekat?

    9 shares
    Share 4 Tweet 2

ARTIKEL TERBARU

harga toyota raize

Rekomendasi Harga Toyota Raize Termurah

May 26, 2023
Collagen drink review

Collagen Drink Review – Serba Serbi Fitclair Collagen Drink yang Harus Kamu Tahu

May 5, 2023
motor kopling

Ciri-ciri Kampas Kopling Motor Habis, Rasakan Gejalanya

March 12, 2023
produsen galon

Ini Dia Produsen Galon Terbaik di Indonesia

January 6, 2023
makanan rendah karbohidrat dan gula

Daftar Makanan Rendah Karbohidrat dan Gula Membantu Berat Badanmu agar Ideal

December 7, 2022

JANGAN LEWATKAN !

Dunia

Ayo Bermain ini, Tes Mata dan Otak

02 May
Tips

10 Bahan Alami Obati Sakit di Perjalanan

17 May
Dunia

Penyebab 5 Klub Besar ini Dapat Julukan Unik, Barcelona dan Bayern Paling Aneh

27 Mar
Unik

Unik! Desa Wadon di Jawa Timur ini Isinya Cewek Semua

26 Feb

Temukan kami di Sosial Media :

Facebook Twitter Youtube RSS

Recent Update

  • Rekomendasi Harga Toyota Raize Termurah
  • Collagen Drink Review – Serba Serbi Fitclair Collagen Drink yang Harus Kamu Tahu
  • Ciri-ciri Kampas Kopling Motor Habis, Rasakan Gejalanya

Knowledge and Inspiration

AndaiKata adalah website tentang inspirasi dan pengetahuan untuk menambah wawasan bagi kita semua

  • Beranda
  • Tentang Kami
  • Kontak
  • Pasang Iklan
  • Kebijakan Pemasangan Iklan

© 2012-2020 | AndaiKata is a member of Kalges Media.

No Result
View All Result
  • Aneh
  • Art
  • Cerita
  • Dunia
  • Extrim
  • Fenomena
  • Inovasi
  • Investigasi
  • Kata Zodiak
  • Khas
  • Ladies
  • Misteri
  • Nasional
  • Photo
  • Riwayat
  • Special
  • Sudut Pandang
  • Supranatural
  • Tahukah Kamu ?
  • Tempat
  • Tips
  • Unik
  • Video

© 2012-2020 | AndaiKata is a member of Kalges Media.

Welcome Back!

Sign In with Facebook
OR

Login to your account below

Forgotten Password?

Create New Account!

Fill the forms bellow to register

All fields are required. Log In

Retrieve your password

Please enter your username or email address to reset your password.

Log In