Browsing by Author "617d822c-9f21-4dbb-baf2-e3b361d07dca"

Now showing items 1-4 of 4

    • ¿Cuándo un sistema (no) computa? 

      Blanco, Javier; Cherini, Renato (Universidad Nacional de Córdoba, 2012-11)
      En el este trabajo presentaremos un esbozo de cara:ctenzaoón de la noción de computación a partir de la de intérprete y luego sugeriremos una forma de vincular esta caracterización con el problema del pancomputacionalismo. ...

    • El debate acerca de la verificación formal de los programas 

      Blanco, Javier; García, Pío (Universidad Nacional de Córdoba, 2009-10)
      En este trabajo nos concentramos en un análisis de los argrunentos presentados en (Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus opiniones, por ejemplo en el trabajo ...

    • Efectividad computacional y máquinas 

      Blanco, Javier; Garcia, Pio (2017)
      Es una cuestión controvertida explicitar las razones por las cuales la comunidad que estaba trabajando en la noción de procedimiento efectivo consideró a la presentación de Turing como una solución. Más allá de las razones ...

    • La noción de intérprete y la naturaleza de la ciencia computacional 

      Blanco, Javier (Universidad Nacional de Córdoba, 2010-10)
      La ciencia de la computación tiene su origen en las consecuencias del "fracaso" del programa de Hilbert. La idea de proceso efectivo se incorporó corno uno de los temas centrales de la pujante nueva disciplina de la ...