3 ms·
Irrational numbers have become a constant nuisance for me in Isabelle. I really wish that the Greeks' initial hypothesis that everything could be expressed in
by tombert 2y ago
Irrational numbers have become a constant nuisance for me in Isabelle. I really wish that the Greeks' initial hypothesis that everything could be expressed in rationals was actually correct.