Logic
in [Science]
|
Abbreviating First Order Logic With Identity and Membership Abbreviating FOL with identity and membership FOL(=,e) Criticism: The customary way of writing FOL(=,e) is ridiculous, for the following reasons (1) It contains strange symbols like for example the symbols used for universal quantification which looks like an upside-down A , and the symbol used for Existentia... 2 May 2010 02:19
Proton Radius Cannot Be Derived From Standard Model On Apr 22, 12:15 pm, "Robert L. Oldershaw" <rlolders...(a)amherst.edu> wrote: The DSSCP uses the Kerr-Newman solution of General Relativity, a bit of Quantum Mechanics (quantization of angular momentum), and the self-evident discrete self-similarity of nature to correctly retrodict the radius and mass of ... 17 Jun 2010 01:23
The purpose of the Peano Axioms The Peano Axioms define the way that numbers, and hence arithmetic, is "presented" to us. But my question is this: In such a presentation do the Peano Axioms "define" arithmetic or do they "limit" arithmetic? The question is important. 1) If the Peano Axioms "define" arithmetic then they are necessary to ... 29 Apr 2010 22:35
Electron’s puzzles. On Apr 23, 11:40 am, PD <thedraperfam...(a)gmail.com> wrote: On Apr 23, 10:28 am, maxwell <s...(a)shaw.ca> wrote: Could you supply one reference (preferably online) which MEASURES the gravitational effects on a single electron? This effect seems very unlikely as the ratio of the EM to gravitational force on an e... 27 May 2010 22:33
Well founded non-standard models? Are there, or could there be, well-founded non-standard models of ZF? ... 1 Jun 2010 16:24
sci.lang is not meant for advertisement sci.lang is not meant for advertisement ... 23 Apr 2010 21:27
sci.lang is not meant for advertisement sci.lang is not meant for advertisement ... 23 Apr 2010 21:27
The Electron’s puzzles. The Electrons puzzles. The electron is not a point. The electron cannot be hard as a steel, it must be elastic. The electron doesn't have really orbit . . . It is a reason of a standing wave of fantastically high frequency. It can be a corpuscular and a wave at the same time. From one hand, in interaction wit... 23 Apr 2010 21:27
Fixed point Lemma The Fixed point lemma is: if p is the godel number of the formula P -- Ay((x,x,y)-->B(y)) and q is the godel number of sentence Q---Ay((p,p,y)-->B(y)), then Q <--> B(q). One could use other numbering for the formulae (or use other variable symbols while using the same numbering). If p' is the (new)number for ... 11 Jun 2010 07:02
sci.lang is not meant for advertisement sci.lang is not meant for advertisement ... 23 Apr 2010 21:27 |