ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Lambda cálculo como sistema de pruebas para una lógica de la computación cuántica
Autor/es:
ALEJANDRO DÍAZ CARO
Lugar:
CABA
Reunión:
Seminario; WIP Seminar; 2019
Institución organizadora:
Grupo BA-Logic. Instituto de Investigaciones Filosóficas. Sociedad Argentina de Análisis Filosófico (SADAF).
Resumen:
Comenzaré la charla con una introducción a la computación cuántica y una introducción al lambda cálculo y su conexión con lógica a través del isomorfismo de Curry-Howard. Luego expondré algunos resultados recientes sobre extensiones al cálculo lambda con el objetivo de definir una lógica formal cuyas pruebas sean algoritmos cuánticos. En dichas extensiones, se considera una lógica donde no sólo existen los booleanos (verdadero-falso), sino también la superposición de booleanos (verdadero y falso a la vez, con diferentes amplitudes).
