Reference encyclopedia and knowledge graph

Uintell Mathematics Encyclopedia

A source-linked reference portal for mathematical articles, concepts, topics, citations, and graph relations. Search directly, browse by subject, or use the A-Z entry points.

Main page Subject index Group theory Manifolds Probability Articles Advanced graph index

8658entities

10281articles

64071typed relations

1571taxonomy nodes

45444citation edges

6776classifications

Selected entity

Constructive real number

concept 1 articles 3 citations 5 shown relations

MathematicsNumber Theory

. In the wider sense it is a real number constructible with respect to some collection of constructive methods. The term "computable real number" has approximately the same meaning. The latter is used in those situations when the aim is not to construct ab initio a non-traditional continuum, but where it is simply a question of classical real numbers that are computable in some sense or other by means of algorithms

Article Graph Taxonomy Citations Dependencies Relations

The concept of a real number used in constructive mathematics. In the wider sense it is a real number constructible with respect to some collection of constructive methods. The term "computable real number" has approximately the same meaning. The latter is used in those situations when the aim is not to construct ab initio a non-traditional continuum, but where it is simply a question of classical real numbers that are computable in some sense or other by means of algorithms. (See also Constructive analysis.)

How to Cite This Entry:
Constructive real number. B.A. Kushner (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Constructive_real_number&oldid=11251

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098

Taxonomy path

Number TheoryMathematics / Number Theorymethod: field_fallback - confidence: 0.58suggested

Parent concepts

No confirmed parent concept relations are stored yet.

Child concepts

No confirmed child concept relations are stored yet.

Dependencies

No confirmed depends_on relations are stored yet.

Theorems and methods

No theorem or method links are stored yet.

Articles

Constructive real numberencyclopedia_of_mathematics

Citations

Constructive mathematicsoutgoing citation Constructive analysisoutgoing citation Gödel constructive setincoming citation

Formal proofs

No formal proof or verifier links are imported yet.

Provenance and confidence

discussesarticle:eom--constructive-real-number--ff5223f569 -> concept:constructive-real-numberconfidence: 1.00 - provenance: encyclopedia_of_mathematicsconfirmed

citesconcept:constructive-real-number -> concept:constructive-mathematicsconfidence: 1.00 - provenance: article link extractionreviewed

citesconcept:constructive-real-number -> concept:constructive-analysisconfidence: 1.00 - provenance: article link extractionreviewed

citesconcept:godel-constructive-set -> concept:constructive-real-numberconfidence: 1.00 - provenance: article backlink extractionreviewed

subcategory_ofconcept:constructive-real-number -> topic:number-theoryconfidence: 0.58 - provenance: field_fallback classificationsuggested

Supported entity types include domain, subdomain, theory, concept, definition, theorem, conjecture, method, algorithm, problem, article, author, journal, dataset, and formal proof. The current import populates concepts, topics, articles, citations, source descriptions, and suggested classifications. Missing relation families are shown as empty instead of invented. See the Encyclopedia of Mathematics licensing notice.