Efectividad, computación y máquinas

Autores
Blanco, Javier; García, Fabián Pío; Sandrone, Darío
Año de publicación
2018
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.
Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Robin Gandy (1988) daba cuenta de la convergencia de ideas que en 1936 dio lugar a la caracterización de lo efectivo por parte de Turing para resolver (negativamente) el "Entscheidungsproblem" planteado por Hilbert (es decir, la existencia de una máquina que pudiera determinar mecánicamente si una fórmula era o no un teorema aritmético). Esta convergencia tenía al menos dos grandes corrientes, la de la lógica matemática y la de los mecanismos (ambas encontraron un punto de confluencia previo importante en Leibniz).
publishedVersion
Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.
Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología
Materia
Efectividad
Turing
Programabilidad
Máquina universal
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/557322
Acceder
id RDUUNC_a70ede7b816a332bcf0023c3c13a1c18
oai_identifier_str oai:rdu.unc.edu.ar:11086/557322
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Efectividad, computación y máquinasBlanco, JavierGarcía, Fabián PíoSandrone, DaríoEfectividadTuringProgramabilidadMáquina universalFil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.Robin Gandy (1988) daba cuenta de la convergencia de ideas que en 1936 dio lugar a la caracterización de lo efectivo por parte de Turing para resolver (negativamente) el "Entscheidungsproblem" planteado por Hilbert (es decir, la existencia de una máquina que pudiera determinar mecánicamente si una fórmula era o no un teorema aritmético). Esta convergencia tenía al menos dos grandes corrientes, la de la lógica matemática y la de los mecanismos (ambas encontraron un punto de confluencia previo importante en Leibniz).publishedVersionFil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.Filosofía, Historia y Filosofía de la Ciencia y la Tecnología2018info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf9788490129739http://hdl.handle.net/11086/557322spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-10-16T09:30:20Zoai:rdu.unc.edu.ar:11086/557322Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-10-16 09:30:20.892Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Efectividad, computación y máquinas
title Efectividad, computación y máquinas
spellingShingle Efectividad, computación y máquinas
Blanco, Javier
Efectividad
Turing
Programabilidad
Máquina universal
title_short Efectividad, computación y máquinas
title_full Efectividad, computación y máquinas
title_fullStr Efectividad, computación y máquinas
title_full_unstemmed Efectividad, computación y máquinas
title_sort Efectividad, computación y máquinas
dc.creator.none.fl_str_mv Blanco, Javier
García, Fabián Pío
Sandrone, Darío
author Blanco, Javier
author_facet Blanco, Javier
García, Fabián Pío
Sandrone, Darío
author_role author
author2 García, Fabián Pío
Sandrone, Darío
author2_role author
author
dc.subject.none.fl_str_mv Efectividad
Turing
Programabilidad
Máquina universal
topic Efectividad
Turing
Programabilidad
Máquina universal
dc.description.none.fl_txt_mv Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.
Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Robin Gandy (1988) daba cuenta de la convergencia de ideas que en 1936 dio lugar a la caracterización de lo efectivo por parte de Turing para resolver (negativamente) el "Entscheidungsproblem" planteado por Hilbert (es decir, la existencia de una máquina que pudiera determinar mecánicamente si una fórmula era o no un teorema aritmético). Esta convergencia tenía al menos dos grandes corrientes, la de la lógica matemática y la de los mecanismos (ambas encontraron un punto de confluencia previo importante en Leibniz).
publishedVersion
Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.
Fil: García, Fabián Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Fil: Sandrone, Darío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Centro de Investigaciones Facultad de Filosofía y Humanidades; Argentina.
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología
description Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación. Sección Computación; Argentina.
publishDate 2018
dc.date.none.fl_str_mv 2018
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv 9788490129739
http://hdl.handle.net/11086/557322
identifier_str_mv 9788490129739
url http://hdl.handle.net/11086/557322
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1846143380347682816
score 12.712165

Publicaciones similares