Definable Real Number

(Set Theory)

Logo of Definable real number
sciences
Set Theory
Link to Dbpedia

What is Definable real number?

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. Different choices of a formal language or its interpretation can give rise to different notions of definability. Specific varieties of definable numbers include the constructible numbers of geometry, the algebraic numbers, and the computable numbers.

Technology Types

set theory

Synonyms

Definable numberDefinable numbersUndefinable numberUndefinable numbers

Translations

Difinebla nombro (eo)정의 가능한 수 (ko)可定义数 (zh)

Tech Info


Source: [object Object]
 — Date merged: 11/6/2021, 1:32:42 PM
 — Date scraped: 5/20/2021, 5:38:29 PM