Tarski, Alfred


Tarski's exponential function problem ★★

Author(s): Tarski

\begin{conjecture} Is the theory of the real numbers with the exponential function decidable? \end{conjecture}

Keywords: Decidability

Syndicate content