Home » Keyword index

Decidability


Logic

Tarski's exponential function problem ★★

Author(s): Tarski

Conjecture   Is the theory of the real numbers with the exponential function decidable?

Keywords: Decidability

Posted by Charles
updated July 8th, 2008
add new comment
Syndicate content