Follow your curiosity

What discovery has been shared with you?

FACTREE gives you something interesting to discover every day — and something worth talking about together.

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

Mathematics

Constructive Mathematics vs. Classical Logic in Proofs

Quick fact

In constructive mathematics, the law of excluded middle is not accepted as a general principle, meaning that a proof of 'not not P' does not count as a proof of P—it merely shows that P cannot be false.

Why this is interesting

You've probably been taught that 'if not not P, then P' is obvious. But what if rejecting that simple rule could change nearly every theorem in mathematics?