Teza Churcha-Turinga:
dowolny, "rozsądny" model obliczeń może być symulowany przez probabilistyczną maszynę Turinga