forum. I don't
dare to put my username on this list ;-)
Bruno
>
> - Original Message -
> From: Bruno Marchal
> To: everything-list@googlegroups.com
> Sent: Wednesday, December 09, 2009 2:25 PM
> Subject: Re: The seven step series (december 2009)
>
>
> On 09 Dec
-
From: Bruno Marchal
To: everything-list@googlegroups.com
Sent: Wednesday, December 09, 2009 2:25 PM
Subject: Re: The seven step series (december 2009)
On 09 Dec 2009, at 01:42, m.a. wrote:
Bruno,
This is a stupid question but I'm hoping it contains the k
On 09 Dec 2009, at 01:42, m.a. wrote:
> Bruno,
>This is a stupid question but I'm hoping it contains the
> kernel of an idea. Since logic is based on a few common definitions,
> do you really need all these complicated steps and permutations to
> prove a theory? Why can't you sh
ar, simple, logical statements?
marty a.
- Original Message -
From: Bruno Marchal
To: everything-list List
Sent: Monday, December 07, 2009 1:12 PM
Subject: Re: The seven step series (december 2009)
Hi,
We may be at a cross of the "se
Hi,
We may be at a cross of the "seventh step" and "Why I am I?" thread.
Chose your favorite universal system.
Like LISP, FORTRAN, the combinators, the diophantine equations, etc.
Enumerate in lexicographical order the expressions corresponding to
the algorithms of the partial computable funct
5 matches
Mail list logo