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....domain.name.hidden> 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-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Feb 27 2009 - 07:34:48 PST