Gödel’s theorem shows that machines can't have natural language understanding:
- It is required of speakers of natural language that they be able to distinguish any sentence from its negation.
- Machines can't do this for some sentences, as is shown by their inability to distinguish the negation of the Gödel sentence frpm the Gödel sentence itself.
Dale Jacquette (1987).