Prosta Logika a maszyna Turinga
Prosta logika jest właśnie taką kompletną maszyną Turinga. Maszyna Turinga może wykonać dowolny program. Jest logicznie spójna i kompletna, ale nie jest w stanie sama zatrzymać siebie. W matematyce mamy też coś podobnego, znaczy grupy. Grupa w algebrze, to jest podzbiór liczb i operacji na tych liczbach, które są kompletne dla danej grupy. Na przykład …