• 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
11 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

  • Rumah Sepi, Kesempatan Emas Buat Ngelakuin Hal Ini Bareng Pacar!!

    321 shares
    Share 128 Tweet 80
  • 7 Ide Kreasi Cantik dari Barang Bekas

    30 shares
    Share 12 Tweet 8
  • 3 Tips Memilih Wi-Fi Terbaik untuk Kantor

    37 shares
    Share 15 Tweet 9
  • 4 Hewan Yang Lakukan Pelecehan Seksual Pada Manusia

    30 shares
    Share 12 Tweet 8
  • 5 Senyawa Ganja yang Ampuh Mengobati Berbagai Penyakit Berat

    9 shares
    Share 4 Tweet 2
  • Misteri Keangkeran Menara Saidah di Jakarta Timur

    54 shares
    Share 22 Tweet 14

ARTIKEL TERBARU

belajar bahasa inggris

Lebih dari Sekadar Kata Benda: Daftar Noun Unik yang Bikin Bahasa Inggrismu Lebih Kaya Bersama EF EFEKTA English for Adults

June 23, 2025
spiderman

Alasan di Balik Perpindahan PH Spiderman dan Panduan Urutan Nonton Film Spiderman

May 14, 2025
hotel murah

Daerah Jakarta yang Banyak Hotel Murah Bersama BookCabin

February 28, 2025
Gate Valve

Cara Memilih Gate Valve Berkualitas untuk Proyek Industri Anda

August 5, 2024
pafikabnabire

Peran dan Kontribusi Persatuan Ahli Farmasi Indonesia (PAFI) Kabupaten Nabire

July 22, 2024

JANGAN LEWATKAN !

Inovasi

Dianggap Membawa Sial, Angka 13 Justru Rahasia Menuju Surga

10 Oct
Khas

Jenis-jenis Lomba 17 Agustus-an Paling Unik, Lucu, dan Gokil

15 Aug
Lucu-lucuan

Hoby Yang Aneh

17 Feb
Tips

Bekerja Lebih Produktif dengan Menerapkan Tips Memilih Meja Kantor Ini

27 Dec

Temukan kami di Sosial Media :

Facebook Twitter Youtube RSS

Recent Update

  • Lebih dari Sekadar Kata Benda: Daftar Noun Unik yang Bikin Bahasa Inggrismu Lebih Kaya Bersama EF EFEKTA English for Adults
  • Alasan di Balik Perpindahan PH Spiderman dan Panduan Urutan Nonton Film Spiderman
  • Daerah Jakarta yang Banyak Hotel Murah Bersama BookCabin

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