2015/06/01 by Ittay Weiss · 5 citations
Computer Science · Mathematics · #Algebra over a field #Arithmetic #Computability, Logic, AI Algorithms #Discrete mathematics #Epistemology #History and Theory of Mathematics #Logic, programming, and type systems #Mathematics #Mathematics education #Pure mathematics #Rational number #Real number #Simple (philosophy)
paper · pdf · doi:10.1216/rmj-2015-45-3-737
published in Rocky Mountain Journal of Mathematics 45(3) (Rocky Mountain Mathematics Consortium)
openalex publication_date 2015/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/04/21
We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts to recent results, and allowing for a simple comparison-at-a-glance between different constructions.