Re: The seven step-Mathematical preliminaries 2

2009-06-04 Thread kimjo...@ozemail.com.au
On Thu Jun 4 1:15 , Bruno Marchal sent: >Very good answer, Kim,  >Just a few comments. and then the sequel. >Exercice 4: does the real number square-root(2) belongs to {0, 1, 2,   >3, ...}? > > >No idea what square-root(2) means. When I said I was innumerate I wasn't >kidding! I could

Re: The seven step-Mathematical preliminaries

2009-06-03 Thread kimjo...@ozemail.com.au
On Wed Jun 3 0:39 , Bruno Marchal sent: > >Hi Kim, Hi Marty and others, > >So it is perhaps time to do some math. It is >Obviously this is a not a course in math, but it is an explanation >from scratch of the seven step of the universal dovetailer argument. >It is a shortcut, and mo