I think they mean a computer that can translate imprecise requirements into precise programs in the same way that a human can, not just code that outputs code. I do agree that philosophers can tend to underestimate what a computer can theoretically do/overestimate how wonderful and unique humans are, though.
I think they mean a computer that can translate imprecise requirements into precise programs in the same way that a human can, not just code that outputs code. I do agree that philosophers can tend to underestimate what a computer can theoretically do/overestimate how wonderful and unique humans are, though.