Bruno Marchal wrote:
> Le 26-oct.-06, à 18:02, 1Z a écrit :
>
> > Measure is a lot more difficult in MMW. It has to be
> > deprived by apriori necessity. Do you have
> > a solution?
>
> A good candidate for apriori necessity (and possibility) is provability
> (and conssitency) by a lobian machine.
>
>
> http://iridia.ulb.ac.be/~marchal/
Are Lobian machines apriori necessary themselves ?.
--~--~---------~--~----~------------~-------~--~----~
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 Fri Oct 27 2006 - 10:56:52 PDT