O que significa para uma função ser computável?
Embora informalmente uma função seja computável se seus valores puderem ser calculados, Alan Turing, Alonzo Church e Kurt Godel tiveram definições formais de computabilidade, ou seja, Máquinas de Turing, Cálculo Lambda e funções recursivas gerais.