I'm writing a story right now in which there are machines being used to try automate the answering of questions, but the machines have difficulty answering questions about themselves. It's come to my attention that this seems to be related to mathematical logic, and Godel's incompleteness theorems. I've never studied this kind of maths before and wondered if anybody knows of a good place to start?
Bookmarks