Leibniz's God as a software program

2013-04-25 Thread Roger Clough
Leibniz's God as a software program In general, for those who have difficulty believing in a personal god. Those need not believe in a personal god who created all, but I think it is imperative that a creator god must have humungous intelligence. There are difficulties in conceiving of such a g

Re: Rationals vs Reals in Comp

2013-04-25 Thread Craig Weinberg
On Thursday, April 25, 2013 6:04:55 AM UTC-4, Bruno Marchal wrote: > > > On 25 Apr 2013, at 00:47, Craig Weinberg wrote: > > > > On Wednesday, April 24, 2013 8:49:00 AM UTC-4, Bruno Marchal wrote: >> >> >> On 23 Apr 2013, at 22:07, Craig Weinberg wrote: >> >> >> >> On Tuesday, April 23, 2013 5:11

Re: Rationals vs Reals in Comp

2013-04-25 Thread Bruno Marchal
On 25 Apr 2013, at 00:47, Craig Weinberg wrote: On Wednesday, April 24, 2013 8:49:00 AM UTC-4, Bruno Marchal wrote: On 23 Apr 2013, at 22:07, Craig Weinberg wrote: On Tuesday, April 23, 2013 5:11:06 AM UTC-4, Bruno Marchal wrote: On 22 Apr 2013, at 19:14, Craig Weinberg wrote: A quote

Re: Rationals vs Reals in Comp

2013-04-25 Thread Bruno Marchal
On 24 Apr 2013, at 23:54, smi...@zonnet.nl wrote: Perhaps one should define things such that it can be impolemented by any arbitrary finite state machine, no mater how large. Then, while there may not be a limit to the capacity of finite state machines, each such machine has a finite capac