login/create account
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
Author(s): Tarski
\begin{conjecture} Is the theory of the real numbers with the exponential function decidable? \end{conjecture}
Keywords: Decidability
Drupal
CSI of Charles University