This commit is contained in:
Miloslav Ciz 2022-09-07 12:58:00 +02:00
parent 75cdd7c3e5
commit 22c5543823

View file

@ -2,6 +2,6 @@
This is a great answer to anything, if someone tells you something you don't understand or something you think is [shit](shit.md) and you don't know what to say, you just say "interesting". This is a great answer to anything, if someone tells you something you don't understand or something you think is [shit](shit.md) and you don't know what to say, you just say "interesting".
**All numbers are interesting**: there is a [fun](fun.md) [proof](proof.md) by contradiction of this. Suppose there exists a set of uninteresting numbers; then the greatest of these numbers is interesting by being the greatest uninteresting number -- we've arrived at contradiction, therefore a set of uninteresting numbers cannot exist. **All [natural numbers](natural_number.md) are interesting**: there is a [fun](fun.md) [proof](proof.md) by contradiction of this. Suppose there exists a set of uninteresting numbers which is a subset of natural numbers; then the smallest of these numbers is interesting by being the smallest uninteresting number -- we've arrived at contradiction, therefore a set of uninteresting numbers cannot exist.
TODO: just list some interesting shit here TODO: just list some interesting shit here