For what it's worth, Errett Bishop, the famous constructivist did not have this kind of existential issue with the complex numbers, commenting that the Reals we

For what it's worth, Errett Bishop, the famous constructivist did not have this kind of existential issue with the complex numbers, commenting that the Reals were inadequate for some things. I really liked the trig cos isin connection in High School