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....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/
--~--~---------~--~----~------------~-------~--~----~
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 Sat Feb 28 2009 - 06:11:28 PST