Bruno: The fifth edition of Mendelson's book is due out in August;is it worth waiting for? I will take a look at some of the links on Podnieks page. Ronald
On Feb 26, 11:17 am, Bruno Marchal <marc...@ulb.ac.be> wrote: > On 23 Feb 2009, at 16:40, ronaldheld wrote: > > > > > Perhaps this paper would be of interest: > > Deterministic multivalued logic scheme for information processing and > > routing in the brain(arxiv.org/abs/0902.2033)? > > Speaking of logic, even though I am not starting from zero,and given > > that it is not my full time profession, which papers/book should be > > read, and are they available online? > > A very good book is the one by Eliot Mendelson: > > MENDELSON E., 1987, Introduction to Mathematical Logic, 3ème édition, > Wadsworth & > brooks/Cole. > > A good webpage is Podnieks page: > > http://www.ltn.lv/~podnieks/ > > > > > finally what is the difference between being awake and asleep from the > > programmatic POV? > > It is a like the difference between a solitaire video game, and a > collective video game, where many computational histories cohere and > glue together. It is still an open problem if that can exist with > comp, note! > It is related to the difference between first person, and first person > plural, which, in both QM and pure comp, are defined by "population" > multiplication. If we are both annihilated and both reconstituted in > washington and Moscow, we can share indeterminacies and even use a > notion of Dutch Book probabilities. > > Best, > > 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 -~----------~----~----~----~------~----~------~--~---