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

The Halting Problem and the Limits of Computation

Quick fact

Alan Turing proved the halting problem is undecidable in 1936, a year before the first electronic computers were even built.

Why this is interesting

Imagine you could write a program that checks any other program and tells you whether it will ever stop running. Sounds useful, right? But what if that program is impossible to build — even in theory?