Next: Limitations of the Gödel
Previous: Example Applications
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.
Probabilistic Gödel Machine Hardware
Back to Goedel machine home page