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
machine.
Can we still access the everything list posts individually through web
address?
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
bit,
Best,
Bruno
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
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
-~--~~~~--~~--~--~---
