• Photo
  • Video
  • Cerita
  • Whats New
  • Populerhot
AndaiKata.com | Knowledge and Inspiration
No Result
View All Result
  • Login
Dark Mode
AndaiKata.com | Knowledge and Inspiration
No Result
View All Result
  • Login
Dark Mode
AndaiKata.com | Knowledge and Inspiration
No Result
View All Result
Home Fenomena

Jerman “BUKTIKAN” Keberadaan “TUHAN” Dengan Program Komputer

Wanwan Max by Wanwan Max
7 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
Share2Tweet2SendShareShareScan

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

  • 10 Artis Panas Jepang dengan Payudara Besar

    178 shares
    Share 71 Tweet 45
  • Inilah 10 Artis JAV Tercantik

    254 shares
    Share 102 Tweet 64
  • 15 Artis Asia Berpayudara Besar

    136 shares
    Share 54 Tweet 34
  • Foto-foto Hot Zahra Jasmine

    105 shares
    Share 42 Tweet 26
  • Kumpulan Foto Model Seksi Sarah Ardhelia

    120 shares
    Share 48 Tweet 30
  • Foto Selfie ABG SMA yang Hot Tersebar

    58 shares
    Share 24 Tweet 14

ARTIKEL TERBARU

Xiaomi MI 10T Pro

Review Xiaomi MI 10T Pro

February 10, 2021
membaca buku dongeng

Manfaat Buku Cerita Berbahasa Inggris

February 1, 2021
buang air besar BAB

Penyebab BAB Berdarah

February 1, 2021
belajar cyber

Digital Education Alternatif Belajar Terbaik di Masa Pandemi

December 21, 2020
asuransi kecelakaan

Inilah Pentingnya Asuransi Kecelakaan Diri

December 19, 2020

JANGAN LEWATKAN !

Tempat

Gunung Huaguo, Tempat Kelahiran Monkey King “Sun Go Kong” di Cina

30 May
Tahukah Kamu ?

10 Fakta Unik Semangka

22 Jun
Dunia

Pria Tercantik dari China ini Ternyata Tetap Suka Wanita Lho…

02 May
Dunia

Show "Perawan" di Pameran Mobil

20 Sep

Temukan kami di Sosial Media :

Facebook Twitter Youtube RSS

Recent Update

  • Review Xiaomi MI 10T Pro
  • Manfaat Buku Cerita Berbahasa Inggris
  • Penyebab BAB Berdarah
AndaiKata.com | Knowledge and Inspiration

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