Yeah, that's a nonsensical "proof." > Still, an "idealized" ruler and compass does provide a framework for describing an algorithm which is not directly Turing

Yeah, that's a nonsensical "proof." > Still, an "idealized" ruler and compass does provide a framework for describing an algorithm which is not directly Turing computable. You could describe such an algorithm, but you could not do it in this universe. This is called hypercomputation. "If non-computable inputs are permitted then non computable outputs are attainable" https://en.wikipedia.org/wiki/Hypercomputation https://en.wikipedia.org/wiki/Hypercomputation