Augustus De Morgan (1806–1871) British mathematician, philosopher and university teacher (1806-1871)
...there is such a thing as the square root of 6, and it is denoted by √<span style="text-decoration: overline">6</span>. But we do not say we actually find this, but that we approximate to it.
The Differential and Integral Calculus (1836)