Le 27-mars-06, à 06:09, George Levy a écrit :
> I am looking forward to being diagonalized. I hope it won't hurt too
> much.
Asap. Meanwhile you could already medidate on my first diagonalization
post here.
You can ask (out or online) any question including about notations or
definitions:
http://www.mail-archive.com/everything-list.domain.name.hidden/msg01561.html
If you find that unreadable, tell me and I will think about other ways
to present it, or links ...
Also: did you grasp in FU the notions of:
reasoner of type 1
reasoner of type 1*
reasoner of type 2
reasoner of type 3
reasoner of type 4
and
reasoner of type G ?
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 Tue Mar 28 2006 - 09:24:35 PST