Bruno: Dur to financial considerations I will wait for the fifth edition to come out.

## Advertising

On Feb 28, 6:11 am, Bruno Marchal <marc...@ulb.ac.be> wrote: > On 27 Feb 2009, at 13:34, ronaldheld wrote: > > > > > The fifth edition of Mendelson's book is due out in August;is it > > worth waiting for? > > I really don't know. My favorite edition is the first one, because > there is a nice appendix with a proof of the consistency of arithmetic > by transfinite induction, which is less informative than the original > proof by Gentzen, but more easy to follow. > > > > > I will take a look at some of the links on Podnieks page. > > This can surely help, Only had time for a few links, but they were interesting. > > Regards, > > Bruno > > > > > > > > > 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/ > > http://iridia.ulb.ac.be/~marchal/- Hide quoted text - > > - Show quoted text - --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---