Proof of impossibility

Can a perfect square root be neatly packaged as a simple fraction?

Imagine trying to perfectly cut a square cake into smaller square pieces, each with an equal amount of icing.

The irrationality of √2 means you can't divide the cake evenly with whole number pieces. It's like trying to split a whole number evenly into parts that aren't whole numbers themselves.

Example

If you divide the cake into 2 pieces and try to split them evenly, you'll end up with pieces that can't be divided further into whole number portions.

Remember this

Gödel's incompleteness theorems show that some truths (like the irrationality of √2) can't be proven within a system, just as you can't perfectly divide the cake into equal square pieces with whole numbers.

Text adapted from Wikipedia, licensed under CC BY-SA 4.0.

Related concepts

Foundations of mathematics

Can math ever be truly complete and consistent?

Gödel's incompleteness theorems

Can a puzzle have missing pieces we can't see?

Problem of universals

Universals question independent existence

Arrow's impossibility theorem

Can a perfect voting system exist?

logical positivism collapsed

Can a philosophy prove itself scientifically?

Russell's paradox

What if you find a set that defies its own rules?

Swipe through 100 ML concepts daily

Open Pocket Polymath