scf Universidad del Valle - Edificio 385 - Salón 3001
Hora
Martes
Miércoles
Colin McLarty Jean-Pierre Marquis Case Western Reserve Université de University Montréal
9:00 10:30
Grothendieck’s ‘incorrigible naivety’ in building worlds for Mathematics
Sheaves, Spaces and Logic
Jueves
Viernes
Ralf Krömer Nancy-Université Universität Siegen
SIMPOSIOS
SIMPOSIO 9
Filosofía de la lógica de haces Coordinador: Fernando Zalamea
From Cantor to Sheaves. The development of the concepts of direct III Congreso and inverse limits – a Colombiano de Filosofía case study on shifts in mathematical methodology in the prehistory of Category Theory
PAUSA CAFÉ
11:00 12:30
Fernando Zalamea Xavier Caicedo Andrés Villaveces Universidad de los Universidad Nacional Universidad Nacional de Colombia de Colombia Andes Universidad Nacional de Colombia The Model Theory of Bridging a gap between Sheaves or the Logic of Physics and Logic: the Variable Structures role of Sheaves
Sheaf Logic: a mathematical conspectus and a philosophical prospectus
III Congreso Colombiano de Filosofía
*Para consultar resúmenes, véase: scf.socolfil.net
19