> It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine. The article a

> It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine. The article at the top of this thread is specifically about properties ("The Generalized Archimedean Property") that real numbers do not possess. There's also a little bit of slipperiness around the use of "AI" vs. "AGI" - you could easily argue (and people do!) that we've already achieved "AI" for many specialized domains. It's the General bit that seems to be the sticking point, and that this article focuses on.