RE: Numbers, Machine and Father Ted

2006-11-08 Thread Stathis Papaioannou
Brent Meeker writes: It's also possible that God intervenes all the time in a perfectly consistent manner to sustain natural laws, such that if he stopped doing so the whole universe would instantly disintegrate. That's possible, but then he's a deist God. He doesn't do miracles

Re: Numbers, Machine and Father Ted

2006-11-08 Thread Bruno Marchal
Le 07-nov.-06, à 20:10, Tom Caylor a écrit : Brent Meeker wrote: Tom Caylor wrote: Brent Meeker wrote: Tom Caylor wrote: Bruno has tried to introduce us before to the concept of universes or worlds made from logic, bottom up (a la constructing elephants). These universes can be

Re: Numbers, Machine and Father Ted

2006-11-08 Thread Johnathan Corgan
On Wed, 2006-11-08 at 09:39 -0800, Brent Meeker wrote: Good old-fashioned miracles are not lawlike, which is what makes them subject to empirical verification. If God is a Protestant, then an examination of a list of lottery ticket winners or people with serious illnesses should show

Re: Numbers, Machine and Father Ted

2006-11-08 Thread Brent Meeker
Stathis Papaioannou wrote: Brent Meeker writes: It's also possible that God intervenes all the time in a perfectly consistent manner to sustain natural laws, such that if he stopped doing so the whole universe would instantly disintegrate. That's possible, but then he's a deist God. He

Re: listposting problem

2006-11-08 Thread John M
This is a testing of my mail. Over the p[ast week I received back every attempt in various modes to get a post into (my?) list-mail. I receive others all right, not what I try to post. Yhis 'reply' is to a monsterp-post of Brent all erased ut kept the reply-form and using it for posting.

Calculus 101

2006-11-08 Thread Colin Geoffrey Hales
Hi, Being a clunky autodidact in these things, I have trouble finding my way thru the various mathematical genres. I was wondering if there is a name for the sort of calulus that has no left/right associative/precedence one that performs reductions that are built into the calculus itself.