UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

  invitan a la conferencia

 "La Tesis de Church-Turing"

Dra. María Manzano
(Universidad de Salamanca)

Lunes 1° de abril de 2013, 12:00 hrs.

Sala "José Gaos", IIFs

El concepto matemático preciso de recursión, tal y como lo había definido Alan Turing, se corresponde exactamente con el concepto intuitivo de computabilidad efectiva. Esta es la afirmación hecha por Alonzo Church conocida como la Tesis de Church-Turing. En su conferencia, María Manzano expondrá los motivos por los cuales esa afirmación se trata de una tesis, que incluso  puede tener el status de definición, pero nunca el de teorema. Asimismo dará cuenta de las poderosas razones por las cuales,  pese a  no poder  demostrarla matemáticamente, podemos darla por buena.

Mayores informes: Atocha Aliseda (atocha@filosoficas.unam.mx)