Hi Günther,

> The paper is not online, but I found it in this book which is at our > University Library, maybe interesting also for other people: > > Goldblatt, Mathematics of Modality > > http://www.amazon.com/Mathematics-Modality-Center-Language-Information/dp/1881526240/ref=sr_1_1?ie=UTF8&s=books&qid=1232402154&sr=8-1 > > > (the book contains the full paper) Not only that! It contains also his paper on the arithmetical intuitionist, alias the arithmetical knower, alias the universal first person, alias the arithmetical interpretation of Plotinus' third hypostase (the universal soul), alias the epistemical temporal arithmetical modal logic S4Grz (pronounce: S four Grzegorczyk). A key paper for the AUDA, except that Boolos found those results, on SAGrz about the same time, see the reference to Boolos in any of my theses. Or see the S4 chapters in the Boolos 1993, book or in the recent paperback reedition of Boolos 1979. It is the logic of provable and true. It leads to a notion of person which the machine cannot named or define. The "arithmetical knower" is not arithmetical! The book contains also a very interesting study of the Diodorean modality in the Minkowski Space-time, and a logical approach to Groethendieck topology. Note that it is advanced stuff for people familiarized with mathematical logic (it presupposes Mendelson's book, or Boolos & Jeffrey). Two papers in that book are "part" of AUDA: the UDA explain to the universal machine, and her opinion on the matter. 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-l...@googlegroups.com To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---