La tesis de Church, segun la cual una funcion es efectivamente computable si y solo si es recursiva, ha recibido considerable atencion por parte de filosofos y matematicos. En particular es incierto cual es exactamente la naturaleza de la tesis: ?se trata efectivamente de una conjetura susceptible de ser eventualmente falseada o es una especie de definicion de calculabilidad? Deberiamos interpretar la tesis en terminos realistas o puramente convencionalistas? Yo sugiero que la interpretacion convencionalista trivializa la tesis de Church y que es mucho mas interesante entenderla como una verdadera conjetura, segun la cual una funcion solo es computable, en sentido absoluto, si es recursiva. Por otra parte sugiero que la tesis tiene cierta importancia para la ciencia cognitiva, pero mucho menor de lo que algunos han supuesto.