Hi Bruno
On May 19, 7:37 pm, Bruno Marchal marc...@ulb.ac.be wrote:
... UDA is an argument showing that the current
paradigmatic chain MATTER = CONSCIOUSNESS = NUMBER is reversed: with
comp I can explain too you in details (it is long) that the chain
should be NUMBER =
On 20 May 2009, at 00:01, John Mikes wrote:
As always, thanks, Bruno for taking the time to educate this bum.
Starting at the bottom:
To ask a logician the meaning of the signs, (...) is like asking
the logician what is logic, and no two logicians can agree on the
possible answer to that
Hi Alberto,
On 20 May 2009, at 13:08, Alberto G.Corona wrote:
On May 19, 7:37 pm, Bruno Marchal marc...@ulb.ac.be wrote:
... UDA is an argument showing that the current
paradigmatic chain MATTER = CONSCIOUSNESS = NUMBER is reversed:
with
comp I can explain too you in details (it is
Bruno,
I knew already about combinators, and the basic correspondence between
arrow-types and material conditionals. If I recall, pairs correspond
to , right? I do not yet understand about adding quantifiers and
negation.
Still, I do not really see the usefulness of this. It is occasionally
Bruno, I cheerfuly accept both of your notations about a genius. Everybody
is one, just some boast about it, others are ashamed. I just accept. I feel
what you call classical logic is my 'common sense' (restricted of the ways
how the average person thinks). Linear logic (Sorry, Jean-Yves Girard,
5 matches
Mail list logo