Buscar
Mostrando ítems 1-10 de 1163
Sobre la relevancia de la tesis de TuringOn the relevance of Turing’s thesis
(Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero, 2017-04-01)
En este artículo intentamos dar cuenta de la relevancia de la tesis de Turing sobre el concepto de cálculo efectivo en relación con la tesis de Church sobre el mismo tema. Si bien ambas tesis son extensionalmente equivalentes ...
Indução finita, deduções e máquina de Turing
(Universidade Estadual Paulista (Unesp), 2017-06-29)
Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ...
What happened To the turing test?¿Qué pasó con el Test de turing?
(Universidad Centroccidental Lisandro Alvarado, 2018)
Máquinas de Turing paraconsistentes : una posible definición.
(2011-10-13)
Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...
Turing’s imitation game and human thoughtEl juego de imitación de Turing y el pensamiento humano
(Universidad del Rosario, 2009)
In 1950, the English mathematician Alan Mathison Turing proposed the basis of what some authors consider the test that a machine must pass to establish that it can think. This test is basically a game; nevertheless, it has ...
Máquinas sin engranajes y cuerpos sin mentes . ¿Cuán dualista es el Funcionalismo de Máquina de Turing ?
(Universidad de Chile, Facultad de Filosofía y Humanidades, 2011)
En este trabajo examino cómo el Funcionalismo de Máquina de Turing resulta compatible
con una forma de dualismo, lo que aleja a la IA clásica o fuerte del materialismo que la
inspiró originalmente en el siglo XIX. Para ...