The power of reasoning demonstrated by a single person who understands Gödel theorem is sufficient to show that minds are different from machines.