Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Experiments in the Irrationality of Sqrt 2 with SMT | Hey There Buddo!
https://www.philipzucker.com/sqrt2/
links
backlinks
Roast topics
Find topics
Find it!
A classical theorem is that $\sqrt{2}$ is irrational. https://en.wikipedia.org/wiki/Square_root_of_2#Proofs_of_irrationality This means it cannot be written as $\frac{p}{q}$ for integers $p$ and $q$.
