Alfred Tarski asked the following mathematical questions:

📚 Artikel Terkait di Wikipedia

Tarski's exponential function problem

Tarski's exponential function problem asks whether the theory of the real numbers together with the exponential function is decidable. Alfred Tarski had

Exponential field

an exponential field, and the function E {\displaystyle E} is called an exponential function on F {\displaystyle F} . Thus an exponential function on

Schanuel's conjecture

m1x1 +...+ mnxn = 0. This would be a positive solution to Tarski's exponential function problem. A related conjecture called the uniform real Schanuel's

Decidability of first-order theories of the real numbers

results. Tarski's exponential function problem concerns the extension of this theory to another primitive operation, the exponential function. It is an

List of unsolved problems in mathematics

theories Tarski's exponential function problem: is the theory of the real numbers with the exponential function decidable? The universality problem for C-free

Decidability (logic)

Tarski in 1949. The first-order theory of real-closed ordered fields, established by Tarski in 1949 (see also Tarski's exponential function problem)

Closed-form expression

Commonly, the basic functions that are allowed in closed forms are nth root, exponential function, logarithm, and trigonometric functions. However, the set

Richardson's theorem

numbers defined by expressions involving integers, π, ln 2, and exponential and sine functions. It was proved in 1968 by the mathematician and computer scientist