Efectividad computacional y máquinas

Fil: García, Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina.

Guardado en:
Detalles Bibliográficos
Autores principales: Blanco, Javier, Garcia, Pio
Formato: bookPart
Lenguaje:Español
Publicado: 2023
Materias:
COMPUTACIÓN
PROGRAMABILIDAD
EFECTIVIDAD
MÁQUINAS
Acceso en línea:http://hdl.handle.net/11086/550354
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-550354
record_format dspace
spelling I10-R141-11086-5503542023-12-29T12:14:29Z Efectividad computacional y máquinas Blanco, Javier Garcia, Pio COMPUTACIÓN PROGRAMABILIDAD EFECTIVIDAD MÁQUINAS Fil: García, Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina. Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación (FAMAF); Argentina. 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 históricas particulares de este acuerdo generalizado, hay una cuestión conceptual más amplia que involucra el alcance y significado de la solución sugerida por Turing. Lo cierto es que la convergencia de las propuestas de procedimiento efectivo favoreció una caracterización extensional de aquello que es computable. En este trabajo avanzaremos en una caracterización más de tipo intensional de la computación. Para ello distinguiremos, en primer lugar, entre efectividad y programabilidad, como dos aspectos de la computación. En segundo lugar sugeriremos dos maneras de caracterizar las nociones de efectividad y programabilidad, una de ellasfocalizada en el análisis de las intuiciones supuestas y otra centrada en la axiomatización de propiedades relevantes. Estimamos que este tipo de análisis puede serventajoso para abordar diversos problemas en filosofía de la computación. En concreto, la hipótesis que desarrollamos aquí, es la necesidad de considerar por separado dos conceptos diferentes, que se aplican en dominios diferentes, y cuya intersección da lugar a la idea de computación efectiva y a la tesis de Church-Turing. Por un lado, la idea de efectividad que parece, en principio, asentarse en la de mecanismo. Por otro, una idea relacional de “computación” -especificada en términos de programabilidad-. Es decir, desde esta perspectiva “computar” involucra un tipo de relación que puede tomar distintas formas. https://ffyh.unc.edu.ar/editorial/e-books/ Fil: García, Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina. Fil: Blanco, Javier. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación (FAMAF); Argentina. Filosofía, Historia y Filosofía de la Ciencia y la Tecnología 2023-12-29T11:50:52Z 2023-12-29T11:50:52Z 2017 bookPart 978-950-33-1393-0 http://hdl.handle.net/11086/550354 spa Attribution-NonCommercial-ShareAlike 4.0 International http://creativecommons.org/licenses/by-nc-sa/4.0/ Electrónico y/o Digital
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic COMPUTACIÓN
PROGRAMABILIDAD
EFECTIVIDAD
MÁQUINAS
spellingShingle COMPUTACIÓN
PROGRAMABILIDAD
EFECTIVIDAD
MÁQUINAS
Blanco, Javier
Garcia, Pio
Efectividad computacional y máquinas
topic_facet COMPUTACIÓN
PROGRAMABILIDAD
EFECTIVIDAD
MÁQUINAS
description Fil: García, Pío. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Escuela de Filosofía; Argentina.
format bookPart
author Blanco, Javier
Garcia, Pio
author_facet Blanco, Javier
Garcia, Pio
author_sort Blanco, Javier
title Efectividad computacional y máquinas
title_short Efectividad computacional y máquinas
title_full Efectividad computacional y máquinas
title_fullStr Efectividad computacional y máquinas
title_full_unstemmed Efectividad computacional y máquinas
title_sort efectividad computacional y máquinas
publishDate 2023
url http://hdl.handle.net/11086/550354
work_keys_str_mv AT blancojavier efectividadcomputacionalymaquinas
AT garciapio efectividadcomputacionalymaquinas
_version_ 1806948511642550272

Ejemplares similares