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 mannerheim on Thursday January 19, 2023 @12:01PM (#34442644)
The negative root is also a square root, but it isn't the root denoted by the radical symbol.

But anyway, when talking about THE nth root, we're almost always talking about the principal root.

https://news.ycombinator.com/item?id=34441863

[ Parent | on HN ]

There are no comments on this comment yet.