Philosophy
Intuitionistic Logic and the Rejection of Excluded Middle
Quick fact
Intuitionistic logic rejects the law of excluded middle because it asserts that a statement like 'P or not P' is true only if we can prove P or prove not P, and for many mathematical statements (such as the famous Goldbach conjecture) we currently have neither proof.
Why this is interesting
In classical logic, every statement is either true or false—there's no middle ground. But what if some mathematical truths are only true when we can actually construct a proof?