Paul Wegner y Dina Goldin han publicado durante más de una década documentos y libros argumentando principalmente que la tesis de la Iglesia-Turing a menudo se tergiversa en la comunidad de Teoría del CS y en otros lugares. Es decir, se presenta como que abarca todo el cómputo cuando, de hecho,...
Una de las preguntas más discutidas en el sitio ha sido Qué significaría refutar la Tesis de Turing de la Iglesia . Esto se debe en parte a que Dershowitz y Gurevich publicaron una prueba de que la Tesis de Church-Turing es el Boletín de la lógica simbólica en 2008. (No voy a discutir eso aquí,...
Recientemente tuve una discusión con un amigo (que defiende los idiomas fuertemente tipados). Hizo el comentario: Los inventores del cálculo Lambda siempre pretendieron que fuera mecanografiado. Ahora podemos ver que la Iglesia estaba asociada con el Cálculo Lambda Simplemente Escrito . De...
Mi comprensión de la tesis de la Iglesia-Turing es la siguiente: Pone un límite a lo que se puede calcular mediante cualquier proceso discreto y finito. Aunque sigue siendo una tesis, no un teorema, si se refutara, esto no significaría solo una actualización de nuestros modelos actuales de...