Add new comment
Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.
What do chocolate and mayonnaise have in common? It's maths! Find out how in this podcast featuring engineer Valerie Pinfield.
Is it possible to write unique music with the limited quantity of notes and chords available? We ask musician Oli Freke!
How can maths help to understand the Southern Ocean, a vital component of the Earth's climate system?
Was the mathematical modelling projecting the course of the pandemic too pessimistic, or were the projections justified? Matt Keeling tells our colleagues from SBIDER about the COVID models that fed into public policy.
PhD student Daniel Kreuter tells us about his work on the BloodCounts! project, which uses maths to make optimal use of the billions of blood tests performed every year around the globe.
I can fully agree with the view that infinity is essentially the lack of boundary. However, the conclusion drawn from this in the previous post is nothing but a pseudo-philosophical game of words. Here is an even worse example: "existence is the non-existence of non-existence". You get nowhere with this.
If one looks carefully at the mathematical practice of set theory, it may be noticed that the members of a sets are rarely "being collected"; only very small finite sets arise like this. Instead, one considers a defining property of the elements to be collected. When presented a potential element, one can (in principle) decide whether it satisfies the property or not. In programming, this is called "lazy construction". As all mathematical thinking is evidently finite, one will never face "actual infinity", but just finite formulations of properties.
In regard of Cantor's result, there are more subsets of the natural numbers than one can formulate properties. So there must be subsets without a defining property. Not surprisingly, little can be said about them (except that they must be infinite). They are like most of the transcendental numbers: vague generic objects filling the container. It should not be surprising that hard questions may arise with such objects, like the existence of sets with cardinalities in between countable and continuum.