1 |
Church-ova tezaIzvorno i u uem smislu, teza po kojoj su sve intuitivno efektivne metode opæenito rekurzivne (u smislu u kojem se ovaj termin koristi u teoriji rekurzivnih funkcija). Pripisujemo je Alonzu Churchu, 1 [..]
|
<< Church-ov teorem | Cijeli brojevi >> |