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, 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/ --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---