This paper sets out to formalize the concept of the square root as proposed by Clive Bach in the section entitled Properties of Division in Conway’s book. The proposed construction extends the classical approach to the square root of real numbers to include both infinitely large and infinitely small numbers.
© 2025 Karol Pąk, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.