StCooler
Mayst thou thy peace discover.
- 9,813
- Posts
- 5
- Years
- Seen today
Intuitionistic Gardevoir
This one is a bit technical but I swear it's a good joke.
Intuitionistic logic is a way of "thinking" mathematics that comes from the idea that if you want to prove that some mathematical object exists, you should construct it, you cannot just prove that "if it doesn't exist then it's a mathematical catastrophe". So it's somewhat "fact checking".
Spoiler:
This one is a bit technical but I swear it's a good joke.
Intuitionistic logic is a way of "thinking" mathematics that comes from the idea that if you want to prove that some mathematical object exists, you should construct it, you cannot just prove that "if it doesn't exist then it's a mathematical catastrophe". So it's somewhat "fact checking".