next up previous
Next: Limitations of the Gödel Up: Discussion Previous: Example Applications

Probabilistic Gödel Machine Hardware

Above we have focused on an example deterministic machine. It is straight-forward to extend this to computers whose actions are computed in probabilistic fashion, given the current state. Then the expectation calculus used for probabilistic aspects of the environment simply has to be extended to the hardware itself, and the mechanism for verifying proofs has to take into account that there is no such thing as a certain theorem--at best there are formal statements which are true with such and such probability. In fact, this may be the most realistic approach as any physical hardware is error-prone, which should be taken into account by realistic probabilistic Gödel machines.

Juergen Schmidhuber 2003-09-29

Back to Goedel machine home page