INVESTIGADORES
VIGLIZZO Ignacio Dario
congresos y reuniones científicas
Título:
Espacios de tipos y lógica coalgebraica
Autor/es:
IGNACIO VIGLIZZO
Lugar:
Córdoba, Argentina
Reunión:
Congreso; LVII Reunión anual del la Unión Matemática Argentina; 2007
Institución organizadora:
Unión Matemática Argentina
Resumen:
 Un espacio de tipos (concepto introducido por el premio Nobel en economía John Harsanyi), es un conjunto de descripciones de los posibles comportamientos de jugadores en un juego con información incompleta. Estas descripciones incluyen información sobre las expectativas del jugador sobre los factores desconocidos del juego, así como sobre el comportamiento de los otros jugadores. La construcción de un espacio universal de tipos, en el que todos los comportamientos posibles estén representados, es una tarea no trivial. La lógica modal coalgebraica ha permitido clarificar algunos aspectos de esta construcción, generalizar otros y mostrar conexiones con problemas en otras ramas de la matemática.