Почему не существует не итерационных/точных методов для вычисления корня из числа?

Но ведь допустим квадратный корень это обычное уравнение:
x*x - y = 0
В школах нас учат что решением этого уравнения является
x = sqrt(y)

Но тогда ведь получается рекурсия

Почему не существует не итерационных/точных методов для вычисления корня из числа?

И что с того что они иррациональны? Что мешает разработать формулу с определенной точностью (до n-знаков)?