Hejmen!

*decid/i [...] ~ebla KOMP MAT Tia, ke oni povas determini per algoritmo, kiu cxiam finigxas, cxu gxi estas vera: la haltproblemo por turinga auxtomato estas ne~ebla; ~ebla aro (aro, por kiu ekzistas algoritmo por ~i, cxu io estas membro). -> komputebla. [...]