We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics

Authors: Zvi Schreiber
Abstract: It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language.
We investigate possible approaches to what might be called an epi-constructionist approach to mathematics. While most constructive mathematics is concerned with constructive proofs, the agenda here is that the objects that we study, specifically the class of numbers that we study, should be an enumerable set of finite symbol strings. These might also be called decidable constructive real numbers, that is our class of numbers should be a computable sets of explicitly represented computable numbers.
There have been various investigations of the computable numbers going back to Turing. Most are however not expressed constructively, rather computable is a property assigned to some of the abstract real numbers. Other definitions define constructive real numbers without reference to the abstract R, but the construction is undecidable, i.e., we cannot determine if a given construction represents a computable real number or not. For example, we may define a real as a computable convergent sequence of rationals, but cannot in general decide if a given computable sequence is convergent.
This paper explores several specific classes of decidable constructive real numbers that could form foundational objects for what we might call an epi-constructionist mathematics.
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2207.04647 [cs.LO]
  (or arXiv:2207.04647v1 [cs.LO] for this version)

Submission history

From: Zvi Schreiber [view email]
[v1] Mon, 11 Jul 2022 06:18:24 GMT (387kb)

Link back to: arXiv, form interface, contact.