I've posted a number of times about artificial intelligence, mind uploading, and various related topics.  There are a number of things that can come up in the resulting discussions, one of them being Kurt Gödel's incompleteness theorems. The typical line of arguments goes something like this: Gödel implies that there are solutions that no algorithmic system can accomplish but that humans … Continue reading Gödel’s incompleteness theorems don’t rule out artificial intelligence →