Schmidhuber wrote:
Why care for the subset of provable sentences?
Aren't we interested in the full set of all describable sentences?
We are interested in the true sentences. The provable one and the
unprovable one.
We can generate it, without caring for proofs at all.
If you mean generate
From: Russell Standish [EMAIL PROTECTED]
The only reason for not accepting the simplest thing is if it can be
shown to be logically inconsistent. This far, you have shown no such
thing, but rather demonstrated an enormous confusion between measure
and probability distribution.
Juergen Schmidhuber wrote:
From: Russell Standish [EMAIL PROTECTED]
The only reason for not accepting the simplest thing is if it can be
shown to be logically inconsistent. This far, you have shown no such
thing, but rather demonstrated an enormous confusion between measure
3 matches
Mail list logo