Mathematics
Mathematical Logic
Quick fact
The mathematician Kurt Gödel shocked the world in 1931 by proving that any sufficiently powerful formal system contains true statements that cannot be proved within the system itself.
Why this is interesting
You use logic every day to make decisions, but mathematical logic turns reasoning into a precise, symbolic machine—and it reveals that some mathematical truths can never be proven.