Tawny Jokes

Mathematicians hunt Lions by throwing out everything that is not a Lion
and catching one of whatever is left. Experienced mathematicians will
attempt to prove the existence of at least one unique Lion before
proceeding to step 1 as a subordinate exercise. Professors of mathematics
will prove the existence of at least one unique Lion and then leave the
detection and capture of an actual Lion to their graduate students.
Quantum Mechanics Scientists spend their time trying to ascertain whether
a Lion is only visible when there is someone there to see it and go on to
design fiendishly complicated traps for theoretical Lions involving small
amounts of radioactive substances and glass vials of toxic vapour
(Schrodinger's Lion).
Logicians don't hunt Lions; for them it is sufficient to prove the
existence of Lions and Lion-hunters and an additional theorem which proves
that Lion-hunters do indeed hunt Lions (at least in theory).
Computer more...