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

Reply via email to