Le 12-juin-07, à 21:33, Tom Caylor a écrit :
> Is not "Dt?" equal to "the search for truth"?
"Dt?" could *hopefully* be *part* of "the search for truth". Unsound
machines can be consistent yet false (in the usual arithmetical sense).
> But the weakness of
> simple consistency is the unans
ind that the theists have already been there, and that there is
yet another higher peak in the distance. The theists will have been
there through faith, not the anti-evidential "faith" of the
fundamentalists, but the faith that is believing what is not seen,
being able to "see&
te things are capable of. This
has given rise to the branch of logic known as "model theory", for
example, where infinite objects are used to give clues on finite
theories.
Note that I am not equating consciousness and consistency. But I am
open to the idea that consciousness is
3 matches
Mail list logo