On Jan 4, 4:41 pm, Zaljo...@gmail.com wrote:

OK, let me finally take a look at Zuhair's theory V. Rather than
simply attack it as I did with DST (and made several mistakes
in the proof), let me just try some examples in order to make
sure that I understand the theory first.

So this schema implies that, whatever V is, the subset (maybe we
should say "subclass," since Zuhair uses the term "class") of V of
all elements satisfying the formula Q exists. So every formula Q
defines a subclass of V.

Right now, one may notice that this can be trivially true if V were,
say, the empty set. But we know ~V=0 due to the next schema:

So here is a link to a video that explains it a little bit,
http://www.youtube.com/watch?v=SAShlm2cNGU&feature=related but the
coolest thing about this is it's hand held and analysis of your
oponents play... this is really cool

Stay connected to the online chess community...

heres there site http://www.monroi.com

CALL FOR PAPERS

BPR'08 - The 1st International Workshop on Bit-Precise Reasoning

Location: Princeton, New Jersey. July 14th, 2008.
(Affiliated with CAV 2008.)

Website: http://www.bit-precise-reasoning.org/

Bit-Precise Reasoning is increasingly being used for the analysis of
many real world hardware and software systems. Current applications
include microcode validation, word-level model checking, software
verification, equivalence checking and random testcase generation.
The continued success in these and other applications depends on the
development of more efficient decision procedures for bit-precise
reasoning, their combination with decision procedures for other
theories (e.g. the theory of arrays), as well as domain-specific
techniques to further increase the scalability of the analysis.

The goal of this workshop is to bring together researchers in
Bit-Precise Reasoning with industrial users. Topics of interest
include, but are not limited to:

Hi,

the definition of "conservative extension" in higher-order logic, as
found in

Michael J. C. Gordon and Tom F. Melham,
Introduction to HOL
Cambridge University Press, 1993

requires that a new constant c should be defined by an equation
c=t, where t should be a CLOSED term, i.e., it should not contain any
free variables.

While this seems rather intuitive, I am wondering: why exactly is this
restriction necessary? What would go wrong if we allowed free variables
in t?

Thanks for any help,

Jan

Question about Life.
What inhale the Life in formulas and equations ?
What must be present in a body to make it alive ?
===== .========
My answer.
Soul. Quantum of Light / Electron.
Why Light Quanta /Electron?
1.
Because.
From all particles, only and only
the Quantum of light is a privileged particle.
Only Light quantum has
the speed of absolute quantity c=1.
No other particle can travel with the speed c = 1.
2.
Because.
The physicists said: Light Quanta has dualistic behaviour.
I say : The dualism of Light Quanta connects with its ability
to be Electron. ( according to the " Law of conservation and
transformation energy. " and the " Lorentz transformations") ...