Vyčíslitelnost

• Slide 21. 2. makro chyba = z := z + z
• Slide 27
  • x /= y E(x<y) \cup E(y<x)
  • x = y `

Churchova teze

• Alonzo Church (1903 - 1995)