Seminario Mundo - Lógica - Modelos - Nicolás Medina - Trinitarianismo computacional de orden superior

[Jose Nicolas Najar Salinas]

El seminario comienza este 31 de enero, de 14:00 a 15:30 de manera presencial en el salón 102-564 (edificio Aulas de Ciencias Gloria Amparo Galeano Gásces).

Nicolás MEDINA (Universidad de Viena)

Trinitarianismo computacional de orden superior

La correspondencia de Curry-Howard-Lambek establece que existe cierta relación entre la lógica intuicionista, el Lambda-cálculo tipado y las categorías cartesianas cerradas. Esto usualmente se denomina como el trinitarianismo computacional dado que propone un movimiento entre la lógica formal, la computación y la teoría de categorías que identifica un aspecto fundamental de la matemática del cual estas tres visiones son una manifestación particular. Generalizaciones de la correspondencia a diferentes tipos de lógicas y/o modelos de computación y/o categorías se han propuesto. En la charla se hablará de la forma clásica de la correspondencia y su posible generalización desde el modelo de computación cuántica de orden superior, en el cual es posible construir programas que computen sobre programas y programas en orden causal indeterminado.

--

Atentamente

José Nicolás Nájar Salinas

Estudiante Doctorado en Ciencias-Matemáticas

Universidad Nacional de Colombia

Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consultar en la página web www.unal.edu.co. Las opiniones, informaciones, conclusiones y cualquier otro tipo de dato contenido en este correo electrónico, no relacionados con la actividad de la Universidad Nacional de Colombia, se entenderá como personales y de ninguna manera son avaladas por la Universidad.