faq

Monday, May 30, 2005

 

How To Catch A Lion

`The Hilbert (axiomatic) method

We place a locked cage onto a given point in the desert. After that we introduce the following logical system:

Axiom 1: The set of lions in the Sahara is not empty.
Axiom 2: If there exists a lion in the Sahara, then there exists a lion in the cage.
Procedure: If P is a theorem, and if the following is holds: “P implies Q”, then Q is a theorem.
Theorem 1: There exists a lion in the cage. [..]

The Schrödinger method

At every instant there is a non-zero probability of the lion being in the cage. Sit and wait. ‘




Leave a Reply

tools