No stronger model of computation which is generally considered to be effectively calculable has been proposed.
Nie podano jak dotąd żadnego ściślejszego modelu obliczalności, który został by ogólnie uznany za wykonalnie obliczalny.