How to catch a lion

Posted on

Lion Hunting with mathematics:
1.1 The Hilbert, or axiomatic, method

We place a locked cage at a given point of the desert. We then introduce the following logical system.

  • Axiom 1: The class of lions in the Sahara Desert is non-void.
  • Axiom 2: If there is a lion in the Sahara Desert, there is a lion in the cage.
  • Rule of procedure: If p is a theorem, and ‘p implies q’ is a theorem, then q is a theorem.
  • Theorem 1: There exists a lion in the cage.

One thought on “How to catch a lion”

  1. The Schroedinger Method.

    There is a lion in the cage, unless you look in the cage, in which case there is no lion.

Comments are closed.