Per macchina Gödel-incompleta si intende una macchina che può operare quanto si reputa necessario, la quale può emettere su un proprio nastro illimitatamente estendibile stringhe interpretabili come affermazioni sul proprio comportamento, sapendo distinguere entro queste le affermazioni vere. Wikipedia