On Wed, 2 May 2001, Brent Meeker wrote:
A true belief that has a casual connection with the fact that makes it
true.
Knowledge is when predicted.
Russell Standish wrote (to George):
I don't think Bruno's conclusion is weird. I come to essentially the
same conclusion in Occam, without the need for formalising
Knowledge, nor the need to use Modal logic.
The fact that you come to the same conclusion does not mean these
conclusions are not
Has anyone proposed a specific implementation for the Universal Dovetailer
(UD)? This is a program which runs all possible programs, a little bit
at a time, making progress in all of them.
For something close, here is Greg Chaitin's program to calculate Omega,
the probability that a random
Just as an example, he says most philosophers
would agree that
[]A-A, where []A is interpreted as knowing A. This
is clearly a
different meaning of the word to know that we use
here in
Australia.
I get the impression folks here assume that when one
person knows something, that only
4 matches
Mail list logo
