Comment by dr_dshiv

So what is the length of the diagonal of a unit square, if not square root of 2? It can’t be rational—how is that rationalized by Wildberger?