Keywords

#definable_real_number

Definable real number

Real number uniquely specified by description

Informally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2, , can be defined as the unique positive solution to the equation , and it can be constructed with a compass and straightedge.

Tue 9th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Definable real number Definable Real number Computable number Hyperreal number Extended real number line Number line List of mathematical logic topics Arithmetical set Berry paradox
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.