News for hackers. Stuff that matters.

A comment on Formalising a new proof that the square root of two is irrational. Parent comment

Re:Formalising a new proof that the square root of two is ir... by BeetleB on Thursday January 19, 2023 @07:58PM (#34447826)
Your evidence is consistent with my claims. Or rather: I never claimed there aren't textbooks that define it as the positive square root.
[ Parent | on HN ]
Re:Formalising a new proof that the square root of two is ir... by thaumasiotes on Friday January 20, 2023 @02:46AM (#34450231)
All textbooks define it that way. There is no other definition available for that symbol.
[ Parent | on HN ]