### Re: Mathematical Logic, Podnieks'page ...

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

### Re: Mathematical Logic, Podnieks'page ...

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

### Re: Mathematical Logic, Podnieks'page ...

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

### Re: Mathematical Logic, Podnieks'page ...

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 ...

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 ...

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 ...

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: Spam Alert: Re: Mathematical Logic, Podnieks'page ...

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