I will think about it. Somehow, the "best" layman intro to UDA and  
AUDA are in this list. The first 15-step version of UDA was a reply to  
Russell Standish a long time ago. UDA is the logical guide to AUDA,  
which is just a deeper second pass on UDA.

AUDA *is* UDA explained to the "dummy", with the "dummy" played by the  

Can we still access the everything list posts individually through web  

Give me time to think on the best book for the technical understanding  
of AUDA, I have already made some advertising on some books like the  
one by Boolos, or (better for the layman) Smullyan, especially Forever  
Undecided, for a recreative introduction to the modal logic G. Any  
good textbook in mathematical logic is a necessary companion. AUDA  
uses the most standard notion and results there. Probably a key book  
(even for just the seventh step of UDA) is the book by Webb. See the  
reference of the paper linked below).

For UDA, good popular training are SIMULACRON 3, MATRIX, but also  
Plato, and many other up to the book Minds'I edited by Dennett and  
Hofstadter. The original paper on the UD and UDA (and MGA) is my 1991  
paper. It contains the seeds of AUDA.
It contains a shorter bibliography, which could help...

Marchal B., 1991, Mechanism and Personal Identity, proceedings of  
WOCFAI 91, M. De Glas & D. Gabbay (Eds), Angkor, Paris.

Except that for understanding the UD itself, and thus the "seventh  
step", and to comprehend its generality, you have to know a bit of  
theoretical computer science and mathematical logic. Rereading  
"Conscience et Mécanisme" I realize Russell Standish was right, and  
that book should be translated in english because it contains an  
almost complete (self-contained) explanation of logic (for the  
physicists), including the historical foundations which are genuine,  
and a detailed explanation of the measurement problem in quantum  
physics, for the logicians. (beyong the most detailed account of the  
UD). It renders also justice to all the contributors in the debate on  
Gödel (like Benacerraf, Reinhardt, Webb, Wang, and many others). There  
are many misunderstandings, which reminds me the book by Torkel  
Franzen ...

Also, it is hard to *believe* in the plausibility of the conclusion of  
UDA without having a good understanding of Everett's Quantum  
Mechanics. What could be a "good" introduction to Everett? ... Deutch'  
FOR book, but also Albert's one, D'Espagnat, .....

There are many good books, working at different levels. Let me think a  



On 25 Jan 2009, at 18:45, Günther Greindl wrote:

> Hi Bruno,
>>> Goldblatt, Mathematics of Modality
>> 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.
> I would like to add a "guide to AUDA" section on the resources page.
> Maybe you could specify the core references necessary for  
> understanding
> the AUDA (if you like and have the time)?
> Here a first suggestion of what I am thinking of:
> Boolos Et Al. Computability and Logic. 2002. 4th Edition
> Chellas. Modal Logic. 1980.
> Goldblatt,  Semantic Analysis of Orthologic and
> Arithmetical Necessity, Provability and Intuitionistic Logic
> to be found in Goldblatt, Mathematics of Modality. 1993.
> What do you think?
> Best Wishes,
> Günther
> >


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 
For more options, visit this group at 

Reply via email to