괴델 기계의 타당성

최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계

자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다.

내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다.

그러한 기계를 실제로 구축 할 수 있습니까? 그들은 우리 우주에서 적어도 실현 가능합니까?

1. 그러한 기계를 실제로 구축 할 수 있습니까?

   예. "machine"이란 Schmidhuber는 "컴퓨터 프로그램"을 의미합니다.

2. 그들은 우리 우주에서 적어도 실현 가능합니까?

   현재 형식이 아닙니다. 알고리즘이 너무 비효율적입니다.

1 만 미터의 관점에서 Jürgen Schmidhuber (및 Marcus Hutter와 같은 이전 학생)는 일반적인 문제 해결을위한 알고리즘을 만들기 위해 Levin 검색 과 Bayesian 추론을 결합하는 아이디어를 조사하고 있습니다.

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

그들은 상수 요소를 덜 엄숙하고 끔찍하게 만들기 위해 상당한 양의 작업을 수행했으며 이러한 종류의 체계가 실제로 작동 할 수 있다고 낙관적입니다. 좋은 데이터 구조가 정리 증명에 중요하고 Goedel 인코딩은 끔찍한 데이터 구조이기 때문에 나는 (자동 정리 증명에 대한 내 경험을 바탕으로) 매우 회의적입니다.

그러나 당신이 그것을 작동 시키려고 노력할 때까지 그것이 작동하지 않는다는 것을 모른다! 결국, 우리는 사람들 이 SAT로 축소함으로써 문제를 해결 하는 세상에 이미 살고 있습니다.