Kelayakan mesin Gödel

Baru-baru ini saya menemukan konstruksi teoretis yang cukup menarik. Mesin Gödel disebut

Ini adalah pemecah masalah umum yang mampu melakukan optimasi diri. Ini cocok untuk lingkungan yang reaktif.

Seperti yang saya mengerti, ini dapat diimplementasikan sebagai program untuk mesin Turing universal, meskipun persyaratannya jauh melampaui perangkat keras yang saat ini tersedia. Namun, saya tidak dapat menemukan banyak detail.

Bisakah mesin seperti itu dibangun dalam praktik? Apakah mereka setidaknya layak di Alam Semesta kita?

1. Bisakah mesin seperti itu dibangun dalam praktik?

   Iya. Dengan "mesin", Schmidhuber hanya berarti "program komputer".

2. Apakah mereka setidaknya layak di Alam Semesta kita?

   Tidak dalam bentuk mereka saat ini - algoritme terlalu tidak efisien.

Dari perspektif sepuluh ribu meter, Jürgen Schmidhuber (dan mantan siswa, seperti Marcus Hutter) telah menyelidiki ide menggabungkan pencarian Levin dengan alasan Bayesian untuk mencari algoritma untuk pemecahan masalah secara umum.

$n$$2^{n}$$n$$2^n$

Mereka telah melakukan cukup banyak upaya untuk membuat faktor-faktor konstan menjadi tidak terlalu buruk, mengerikan, dan optimis bahwa skema semacam ini dapat bekerja dalam praktik. Saya (berdasarkan pengalaman saya dalam pembuktian teorema otomatis) sangat skeptis, karena struktur data yang baik sangat penting untuk pembuktian teorema, dan pengkodean Goedel adalah struktur data yang mengerikan.

Tetapi Anda tidak tahu itu tidak akan berhasil sampai Anda mencoba membuatnya bekerja! Bagaimanapun, kita sudah hidup di dunia di mana orang memecahkan masalah dengan mengurangi menjadi SAT.