Re: The seven step series (december 2009)

2009-12-11 Thread Bruno Marchal
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

Re: The seven step series (december 2009)

2009-12-10 Thread m.a.
- 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

Re: The seven step series (december 2009)

2009-12-09 Thread Bruno Marchal
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

Re: The seven step series (december 2009)

2009-12-08 Thread m.a.
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

Re: The seven step series (december 2009)

2009-12-07 Thread Bruno Marchal
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