Le 21-juil.-06, à 17:52, Brent Meeker a écrit :
> If there is anything left over. I don't think it is sufficiently
> appreciated that this
> "unknowability" is an assumption.
No bigger than the "assumption" that "other" minds exists (a key
assumption in comp if only through the trust to the doctor).
And then it is a theorem that for any correct machine there are true
propositions about them that the machine cannot prove.
Modeling (at first) knowledge by [true justified opinion] (Theaetetus)
and modeling (at first) the [justified opinion] by the machine
provability ability (in the sense of Godel), gives a theory justifying
that for each correct machine there exist true unknowable propositions.
More can be said: if you have two machines M1 and M2 having similar
complexity there will be truth about M1 which are unknowable by M2 and
vice versa.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Sat Jul 22 2006 - 09:23:38 PDT