Zvonimir Šikić, University of Rijeka, Rijeka, Croatia

Abstract: A very popular argument for the difference between mind and machine are Gödel’s incompleteness theorems. Here we present some of the most famous such arguments, as well as their most famous criticisms. Finally, we offer our own reconstruction of the argument and show why it is not valid.

Keywords: Gödel’s incompleteness theorems; mind vs. machine; consistency; ω-consistency.