Re: random thoughts
Bruno: Dur to financial considerations I will wait for the fifth edition to come out. 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 -~--~~~~--~~--~--~---
Re: random thoughts
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 -~--~~~~--~~--~--~---
Re: random thoughts
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 -~--~~~~--~~--~--~---
Re: random thoughts
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 -~--~~~~--~~--~--~---
