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/


--~--~---------~--~----~------------~-------~--~----~
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@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---

Reply via email to