The article treats of Georg Cantor’s idea of nonformal philosophy of infinity. The main argument here is that the knowledge of controversy around the non-axiomatic definition of infinity allows for a better insight into formal procedures in the set theory. Cantorian philosophy of infinity is expressed by three heuristic principles: (1) the actual infinity principle, whereby each mathematically applicable potential infinity (a variable finite number, incomplete domain) assumes the existence of actual infinity (the variability extent is constant, defined for the variables); (2) the principle of finitism - the notion of infinity requires its finitisation if it is to be matematicised. This can be achieved by (a) introducing an ontically uniform status for all permissible mathematical sets, (b) determining that all such sets have a numerical (arithmetical) profile; (3) the principle of absolute infinity, whereby there exist such magnitudes that are not sets i.e. they are not mathematically permissible entities and do not have a full numerical profile. However, they can appear in proofs formulated indirectly as certain objects. They delimit the extent to which the notion of infinity can be matematicised.
Download files
Citation rules
Cited by / Share
Licence
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.