Día Mundial de la Lógica / World Logic Day
[Bogotá - 2022]
Nos unimos desde Bogotá a la celebración del Día Mundial de la Lógica, declarado los días 14 de enero por la UNESCO desde 2019.
We join from Bogotá the celebration of the World Logic Day, declared to happen on January 14 each year by UNESCO, since 2019.
Actividades (11 de enero a 14 de enero) / Activities (January 11 to January 14)
Juliette Kennedy (U-Helsinki): A View of the Incompleteness Theorems. Clase abierta/Open Class. 11 de enero - 9 am / January 11 - 9 am, en el marco de la materia Lógica Matemática (carrera de matemáticas) en la Universidad Nacional de Colombia / as part of the Mathematical Logic course at Universidad Nacional in Bogotá.
Jouko Väänänen (U-Helsinki y U-Amsterdam): Logic and Games. 14 de enero - 12:00 (mediodía / noon), https://www.youtube.com/channel/UCjjSUfucRVlCBJ_hn5TJBMg
Musical Ignorabimus, a cargo del Grupo Λυtómatas (cuatro estudiantes de la materia Lógica Matemática en la UNAL). Cuatro personajes (Hilbert, Ackermann, Gödel, Turing). Auditorio Aulas de Ciencias, 14 de enero - 14:30. https://www.youtube.com/channel/UCjjSUfucRVlCBJ_hn5TJBMg
Entrevista a Melisa Gutiérrez Vivanco (UNAM) y Andrés Villaveces (UNAL-Bogotá), a cargo de Antonio Salazar (programa radial Física y Feynman): Admirable lógica matemática y su importancia filosófica. 14 de enero - 19:00 hora de Colombia (18:00 en la Ciudad de México). AQUÍ: https://www.facebook.com/Sirfeynman137/?ref=pages_you_manage
Contact: Andrés Villaveces - Departamento de Matemáticas - Universidad Nacional de Colombia - avillavecesn at unal.edu.co