Re: Spam Alert: Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread John M
CMR: ( I quote your earlier points here about 'science' to explain why I called them reductionistic.)   1. The observation, identification, description, experimental investigation,and theoretical explanation of phenomena.2. Such activities restricted to a class of natural phenomena.3. Such a

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread CMR
Greetings Bruno and Kory, >Also, you said that your are not platonist. Could you tell me how you >understand >the proposition that the number seventeen is prime. (I want just be sure I >understand >your own philosophical hypothesis). > A quick aside: It might be better not to even use the term "

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Hal Ruhl
Hi Stephen: At 01:14 PM 6/30/2004, you wrote: Dear Hal, Could the Nothing be a generalization of the notion of the Null or Empty set? I think the Null or Empty sets are more particular than my Nothing since they include all the underpinnings supporting the idea of "set". One question that

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Kory Heath
At 09:19 AM 6/30/2004, Bruno Marchal wrote: Also, you said that your are not platonist. Could you tell me how you understand the proposition that the number seventeen is prime. (I want just be sure I understand your own philosophical hypothesis). A quick aside: It might be better not to even use

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Stephen Paul King
Dear Hal, Could the Nothing be a generalization of the notion of the Null or Empty set? One question that I have is "what moves?" It seems that I am merely re-asking Zeno's question... How is motion, whether it is the UD moving infinitely slowly from string to string or your example

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Hal Ruhl
Hi Bruno: At 09:34 AM 6/30/2004, you wrote: If your system is inconsistent then it is obviously Turing computable (just write a generator of ALL arithmetical formula). But I am not sure your system is inconsistent. Well, I am not sure it is a "system", or perhaps you just fail to present it as su

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Bruno Marchal
At 12:42 29/06/04 -0400, Hal Ruhl wrote: I have enjoyed my first looks at Podnieks' page. Bruno thanks for the URL . My issue is that my model while it has changed many times seems to persistently return me to the idea that while some metaverses may be otherwise Turing computable all metaverses

Re: Mathematical Logic, Podnieks'page ...

2004-06-30 Thread Bruno Marchal
At 09:02 29/06/04 -0700, CMR wrote: Here's one reasonably functional definition of science: sci·ence( P ) Pronunciation Key (sns) n. 1. The observation, identification, description, experimental investigation, and theoretical explanation of phenomena. 2. Such activities restricted to a class