Q.E.D: eln BOOLEAN PROOF OF RICHARDSON'S THEOREM 7 . BOOLEAN PROOF OF RICHARDSON'S THEOREM II K n!u, K K v~ 1 I K- AI K A.
Richardson's Theorem. Let $R$ be the class of expressions generated by. 1. The Rational Numbers and the two Real Numbers $\pi$ and $\ln 2$,. 2.
is identically zero. A summary of Richardson's proof (mostly from Richardson's paper itself) is below. The proof depends on the MRDP theorem.
If you are interested Richardsons theorem
the origins of indeterminacy in Quantum Mechanics, read my newly finished paper titled:. How will a computer decide if you can't? Sign in via your institution OpenAthens Other institution Journals Books Register Sign in Help close Sign in using your ScienceDirect credentials Username Password Remember me Forgotten username or password? Notify me of new comments via email. Note: I'm not actually familiar with either problem that you ask about, so I'm going by your description. Theorem of the Day Robin Whitty. See Tarski's exponential function problem.