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@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 -~----------~----~----~----~------~----~------~--~---