Math Forum / Mathematics / Mathematical Logic / June 2006

When relativity hypnotists test Divine Albert's theory they prefer
single experiments: in Einstein's zombie world experiments that are not
repeated are extremely reliable. So in 1971 Hafele and Keating
successfully confirmed time dilation and this guaranteed the triumph of

1 - You can test your models straight away, as soon as you've written
them properly.
2 - You can see the direct relationship between real-world problems and
abstract logic.

Lord Martin Rees, the President of the Royal Society:
http://www.telegraph.co.uk/connected/main.jhtml?xml=/connected/2005/01/26/ecrein
26.xml&sSheet=/connected/2005/01/26/ixconnrite.html
"Cynics have said that Einstein might as well have gone fishing from
1920 onwards.

I am PhD student in logic. I am strongly interested in philosophy.
There is a passage in the Frege's Grundlagen der Arithmetik" that I
don't understand:
"...the reason's proper study is itself. In arithmetic we are not

I'm hoping someone can explain this to me...
In Elliot Mendelson's "Introduction to Mathematical Logic" (4th ed)
hes says on page 34: "A theorem of L is a wf [well-formed formula] B
of L such that B is the last wf of some proof in L. Such a proof is

Hi friends,
can anyone plz help me out in solving this problem.
The problem goes something like this.
Derive a formula to find the sum of the following series.

http://news.independent.co.uk/world/science_technology/article1117229.ece
"If the experiment succeeds it will do more than prove Einstein right."
Can an experiment prove anybody right? What would Popper say? That the
experiment could only refute the theory? Perhaps Popper would say

http://physicsweb.org/articles/world/19/6/5/1
"If you are an academic in a physics department, you are probably used
to receiving letters from people who claim to have rewritten the laws
of physics. Editors of science magazines are also familiar with such

If I put one rabbit in the fridge and then another in the freezer, then
is it by definition, or by example, that I have two rabbits?
If Mary in Perth puts a rabbit in the fridge, and John in Cardiff puts
a rabbit in the freezer, then is it by definition, or by example, that

Eistein's zombies will never stop destroying scientists' lives.
According to rules established in Einstein's criminal cult, those who
see something idiotic in "I measure your clock to be slower than mine
and you measure mine to be slower than yours" should be losers, better

For some time a housewife has been fiercely fighting Einstein's
criminal cult:
http://video.google.com/videoplay?docid=2707332488059305178
Einstein's zombies have already destroyed many heretical lives but the

What's the difference between <=> and <-> ?
Do they both mean if and only if?

I seem to have "proved" something in ZF that (I think) is not provable
in ZF (without AC).  What's wrong?  The "result" is
(1)    For any ordinal alpha, the set S of bijections of aleph_alpha onto
itself is well-orderable.

In the news is that Japan is sending ship/s to North Korea over their
claim of testing a missile.
This is the primitive M.A,D. Fleet, only Japan is not equiping its
ship/s with a nuclear missiles as a real M.A,D. Fleet would have.

This almost alive looking machine is called "Robotic Mule". Pretty
incredible achievement to me. It also has the appearance to be a
potentially practical robot.
http://www.jumpingpixels.com/robotics.html