Conferencia: La Tesis de Church-Turing

Instituto de Investigaciones Filosóficas  Posgrado de Filosofía de la Ciencia

  invitan a la conferencia

 "La Tesis de Church-Turing"

Dra. María Manzano
(Universidad de Salamanca)

 

Lunes 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)

 


 

Actualizado Mar 21 de 2013
Jun 28 de 2017
© 2015 Instituto de Investigaciones Filosóficas - Universidad Nacional Autónoma de México