Update

infinity.md

@@ -7,7 +7,7 @@ The concept of infinity came to firstly be explored by philosophers -- as an abs
 The term *infinity* has two slightly distinct meanings:
 
 - **potential infinity**: The unboundedness, lack of upper limit. For example the sequence of odd numbers 1, 3, 5, ... is potentially infinite. This is the less problematic kind of infinity as we know what's going on: we simply lack any limit and can keep going on forever.
-- **actual infinity**: Infinity as an actual "object" (for example a number) that's somehow "endlessly large", larger beyond any limits, largest possible etc. This type of infinity poses more issues as we don't know anything like this from [real life](irl.md), we lack experience and intuition about it, we don't know how such an object should behave and we encounter [paradoxes](paradox.md). Stuff can get pretty weird and things we take for granted stop working, such as being able to just randomly pick elements from sets (see [axiom of choice](axiom_of_choice.md)). For example if we have the largest object possible, what happens if we put two of such objects together, will we get yet larger object or not? How about two infinities minus one infinity -- is that an infinity or zero? What if we shrink infinity to half, what size will it have?
+- **actual infinity**: Infinity as an actual "object" (for example a number) that's somehow "endlessly large", larger beyond any limits, largest possible etc. This type of infinity poses more issues as we don't know anything like this from [real life](irl.md), we lack experience and intuition about it, we don't know how such an object should behave and we encounter [paradoxes](paradox.md). Stuff can get pretty weird and things we take for granted stop working, such as being able to just randomly pick elements from sets (see [axiom of choice](axiom_of_choice.md)). For example if we have the largest object possible, what happens if we put two of such objects together, will we get yet a larger object or not? How about two infinities minus one infinity -- is that an infinity or zero? What if we shrink infinity to half, what size will it have?
 
 It could be argued that potential infinity is really the reason for the existence of true, high level mathematics as we know it, as that is concerned with constructing mathematical [proofs](proof.md) -- such proofs are needed anywhere where there exist infinitely many possibilities, as if there was only a finite number of possibilities, we could simply enumerate and check them all without much thinking (e.g. with the help of a [computer](computer.md)). For example to confirm [Fermat's Last Theorem](fermats_last_theorem) ("for whole numbers and *n > 2* the equation *a^n + b^n = c^n* doesn't have a solution") we need a logical proof because there are infinitely many numbers; if there were only finitely many numbers, we could simply check them all and see if the theorem holds. So infinity, in a sense, is really what forces mathematicians to think.