What is a closed-form number?
Timothy Y. Chow
Abstract
If a student asks for an antiderivative of exp(x2), there is a standard reply: the answer is not an elementary function. But if a student asks for a closed-form expression for the real root of x = cos(x), there is no standard reply. We propose a definition of a closed-form expression for a number (as opposed to a *function*) that we hope will become standard. With our definition, the question of whether the root of x = cos(x) has a closed form is, perhaps surprisingly, still open. We show that Schanuel's conjecture in transcendental number theory resolves questions like this, and we also sketch some connections with Tarski's problem of the decidability of the first-order theory of the reals with exponentiation. Many (hopefully accessible) open problems are described.
Create a lesson
Related papers
Value distribution of multiplicative functions along linear fractional sequences
Sun-Kai Leung
Delta theory of Anderson Modules II: Hodge-Pink structure
Sudip Pandit, Arnab Saha
Integers divisible by a shifted prime in a given interval
Rebecca Abi Abdallah, Valeriya Kovaleva, Jeremy Schlitt et al.
On Piatetski-Shapiro primes from almost primes
Yuhua Zhao, Jinjiang Li, Linji Long et al.
On Consecutive Non-primitive Elements over Finite Fields
Bidushi Sharma, Dhiren Kumar Basnet
Birch's theorem over function fields with quadratically many variables
Matthew Hase-Liu