Other formal attempts to characterize computability have subsequently strengthened this belief (see below).
Остали формални покушаји да се карактерише израчунљивост је касније ојачао снагу овог веровања (погледати испод).