Original Research

(Oor)aftelbaarheid

D.F.M. Strauss
Koers - Bulletin for Christian Scholarship/Bulletin vir Christelike Wetenskap | Vol 76, No 4 | a414 | DOI: https://doi.org/10.4102/koers.v76i4.414 | © 2011 D.F.M. Strauss | This work is licensed under CC Attribution 4.0
Submitted: 10 September 2011 | Published: 10 September 2011

About the author(s)

D.F.M. Strauss, Departement Filosofie, Universiteit van die Vrystaat, Bloemfontein, South Africa

Full Text:

PDF (400KB)

Abstract

(Non)denumerability

The focus of this article is the rise of modern set theory which, according to Meschkowski, coincides with the first proof given in 1874 by Cantor of the non-denumerability of the real numbers. Later on he developed his well-known diagonal proof, which occupies a central position in this article. The argument of this article is directed towards the implicit supposition of the diagonal proof, to wit the acceptance of the actual infinite (preferably designated as the at once infinite). Without this assumption no conclusion to non-denumerability is possible. Various mathematicians and mathematical traditions of the twentieth century questioned the use of the actual infinite. A closer investigation is conducted in respect of two opponents of the actual infinite, namely Kaufmann and Wolff. The circular reasoning contained in their approach is highlighted and as alternative a non-circular understanding of the at once infinite is explained. At the same time the assumed exact nature (and neutrality) of mathematics is questioned (in the spirit of „Koers‟ as a Christian academic journal). This contemplation disregards the question of what mathematics is (for example by including topology, category theory and topos theory), which would have diverted our attention to contemporary views of figures such as Tait, Penelope and Shapiro who, among others, acts as the editors of and contributors to the encompassing work „Handbook of Philosophy of Mathematics and Logic‟ (2005).

Keywords

NonExact; At Once Infinite; Denumerable; Diagonal Proof; Infinite Totality; Non-Denumerable; Successive Infinite

Metrics

Total abstract views: 1231
Total article views: 1030

Reader Comments

Before posting a comment, read our privacy policy.

Post a comment (login required)

 

Crossref Citations

1. Letterkundige en wysgerige kanttekeninge by die transformasie-trilogie van Antjie Krog
Hennie P. van Coller, Danie Strauss
Literator  vol: 40  issue: 1  year: 2019  
doi: 10.4102/lit.v40i1.1512