Bruno:
Dur to financial considerations I will wait for the fifth edition
to come out.
On Feb 28, 6:11 am, Bruno Marchal <marc....domain.name.hidden> 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....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/
>
> 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-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 Mon Mar 02 2009 - 07:14:27 PST