# Proof of the Irrationality of the Square Root of 2 Contained in Babylonian Geometry Problem Tablets

We show that Old Babylonian problem tablets contain a geometric proof of the irrationality of $\sqrt{2}$ predating the Greek discovery of this profound mathematical fact by more than a millennium.