Introduction to the History and Philosophy of Mathematical Practice in Constructing the Reals

In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 1461-1472 (2024)
  Copy   BIBTEX

Abstract

The ancient problem of the relationship of the continuous to the discrete, since its discovery by the Greeks, has posed a range of immensely fruitful challenges to both philosophical and mathematical thought, leading to a variety of mathematical and conceptual innovations whose positive development actively continues today. In this brief section introduction, I selectively outline some significant moments at which this problem has provided important historical occasions for concrete mathematical innovation as well as closely linked philosophical insights, before introducing the particular contributions of the section authors to historical and contemporary research and practice into the nature and structure of the continuum, the construction of real numbers, the foundations of analysis, and the logical, set-theoretical, and computational underpinnings of the structure of continuously valued numbers in the most general sense, in both constructive and nonconstructivist contexts.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Regular reals.Guohua Wu - 2005 - Mathematical Logic Quarterly 51 (2):111-119.
Recursive Approximability of Real Numbers.Xizhong Zheng - 2002 - Mathematical Logic Quarterly 48 (S1):131-156.
A transfinite hierarchy of reals.George Barmpalias - 2003 - Mathematical Logic Quarterly 49 (2):163-172.
Complexity of reals in inner models of set theory.Boban Velickovic & W. Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Complexity of reals in inner models of set theory.Boban Velickovic & Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Degrees of d. c. e. reals.Rod Downey, Guohua Wu & Xizhong Zheng - 2004 - Mathematical Logic Quarterly 50 (4-5):345-350.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Cohen reals from small forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Cohen Reals from Small Forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
A Constructive Look at Generalised Cauchy Reals.Peter M. Schuster - 2000 - Mathematical Logic Quarterly 46 (1):125-134.
Needed reals and recursion in generic reals.Andreas Blass - 2001 - Annals of Pure and Applied Logic 109 (1-2):77-88.
Approximation representations for reals and their wtt‐degrees.George Barmpalias - 2004 - Mathematical Logic Quarterly 50 (4-5):370-380.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.

Analytics

Added to PP
2024-04-27

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Paul Livingston
University of New Mexico

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references