[Todos CMAT] Seminario de Dinámica del Viernes 23/11: sesión doble

[salvarez en cmat.edu.uy]

Hola a todos,

Habrá doble sesión en el seminario de dinámica este Viernes 23 de Noviembre a partir de las 14:00 en el salón de seminarios del IMERL.

Nos hablarán Etienne Miquey sobre Curry-Howard: desvelando el contenido computacional de las pruebas de las 14:00 hasta las 15:00
y Maik Gröger sobre Structure of mean equicontinuous group actions de las 15:15 hasta las 16:15.
Saludos,
Seba.

-------------------
Título: Curry-Howard: desvelando el contenido computacional de las pruebas.
Resumen: A través de la correspondencia de Curry-Howard, uno puede ver ciertas pruebas cómo programas, y viceversa. De esa descubierta clava surgen múltiples preguntas: ¿Para que sistema lógico será cierto? ¿Cuál sería el programa asociado a la axioma de elección? ¿Que nos brinda una casilla de memoria para hacer demostraciones? Durante esa charlá, introduciremos los conceptos claves de la Curry-Howard que son las pruebas formales en deducción natural y el λ-cálculo. Veremos cómo esa correspondencia nos ofrece una mirada nueva sobre la noción de demostración, nuevas construcciones en teoría de modelos, pero también permite la existencia de asistente a la demostración (e.g., Coq, Agda) y constituye en sí una amplía área de investigación.

-------------------
Título: Structure of mean equicontinuous group actions.
Resumen: The concept of mean equicontinuity, under a different name, was first introduced by Fomin in 1951 to deduce a dynamical property implying pure point spectrum. It was later studied by Auslander in more detail and has gained renewed interest in recent years for several different reasons. The talk will survey parts of the old and new insights with the particular focus on long-range order and actions of general amenable groups.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20181121/5534bb48/attachment.html>