Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Tarski's exponential function problem
open-in-new
<p>In <a href="/facts/Model_theory/vLWVV8sQ">model theory</a>, Tarski's exponential function problem asks whether the <a href="/facts/Theory_(mathematical_logic)/mYe5gQpI">theory</a> of the <a href="/facts/Real_number/R02gw5Pb">real numbers</a> together with the <a href="/facts/Exponential_function/ewlYxvR2">exponential function</a> is <a href="/facts/Decidability_(logic)/17SHPMo0">decidable</a>. <a href="/facts/Alfred_Tarski/7h6NySAj">Alfred Tarski</a> had previously shown that the <a href="/facts/Decidability_of_first-order_theories_of_the_real_numbers/hfktQ8sj">theory of the real numbers (without the exponential function) is decidable</a>. </p>