lukeprog comments on Rigorous academic arguments on whether AIs can replace all human workers?

[lukeprog]

an argument against based on Godel’s theorem and similar math, what Turing called “The Mathematical Objection” and which has more recently been championed by Roger Penrose

Chapter 11 of Quantum Computing since Democritus is a succinct rebuttal to Penrose & company on this point. It also contains a nice steel-manning of Penrose.