Preguntas etiquetadas con church-turing-thesis

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 …

38 computability  turing-machines  machine-models  church-turing-thesis 

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. …

35 soft-question  lo.logic  church-turing-thesis 

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 hecho, parece que explicó el cálculo de Lambda …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Esta puede ser una pregunta ingenua, pero aquí va. (Editar: no está recibiendo votos positivos, pero tampoco nadie ha ofrecido una respuesta; ¿tal vez la pregunta es más difícil, oscura o poco clara de lo que pensaba?) El primer teorema de incompletitud de Gödel puede demostrarse como un corolario de …

11 lo.logic  computability  church-turing-thesis 

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 computación. Sería …

8 church-turing-thesis  hypercomputation