@kithrup @beyondmachines1 Yes, John Searle wrote his paper "Minds, Brains, and Programs" in 1980, though the concepts go back at least as far as Leibniz.

I am pretty sure that Banks read Hostadter and Dennett's annotated anthology of essays, papers, and fiction about AI, The Mind's I, which includes a version of Searle's paper.