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?

Rule of inference

Can a mathematician prove everything in logic?

Philosophy of artificial intelligence

Can machines ever truly think like humans?

Proof sketch for Gödel's first incompleteness theorem

Can a computer always decide if a program will finish running?

Problem of universals

Universals question independent existence

Swipe through more Philosophy concepts

Open Pocket Polymath