Re: Numbers, Machine and Father Ted

2006-11-13 Thread Bruno Marchal
Le 11-nov.-06, à 19:07, 1Z a écrit : Bruno Marchal wrote: Le 11-nov.-06, à 01:09, 1Z a écrit : No, because there are no possible worlds where (2^32582657)-1 is not a prime number. This is for me a typical arithmetical realist statement. Most philosophers who use the possible worlds

Re: To observe is to......EC

2006-11-13 Thread Bruno Marchal
Le 12-nov.-06, à 03:43, Colin Geoffrey Hales a écrit : As I stuff my head with the bird menagerie, and try to see if I need to breed a new bird, I find that EC is best thought of as a form of combinatorics (as you thought, Bruno!). You should use combinators instead of combinatorics

Natural Order Belief

2006-11-13 Thread Tom Caylor
Brent Meeker wrote: Tom Caylor wrote: Brent Meeker wrote: An excellent essay. I agree with almost everything you wrote; and you put it very well. Would you mind if I cross posted it to Vic Stenger's AVOID-L mailing list. You can check out the list here:

Re: Natural Order Belief

2006-11-13 Thread Brent Meeker
Tom Caylor wrote: Brent Meeker wrote: Tom Caylor wrote: Brent Meeker wrote: An excellent essay. I agree with almost everything you wrote; and you put it very well. Would you mind if I cross posted it to Vic Stenger's AVOID-L mailing list. You can check out the list here: