Guillermo González, Mauricio Germán

DATOS PERSONALES Y ACADÉMICOS

Grado y Servicio

Grado 3 / Facultad de Ingenieria / Centro de Matemáticas

Contacto

Email: mauricio@cmat.edu.uy / Teléfono: 25252522

Área disciplinar

Basica

Disciplina / Subdisciplina

Matemática / Lógica matemática / Correspondencia prueba-programas

Mayor nivel académico

Doctorado, Universite de Paris VII, Francia (año 2008)

Link a web personal

Link a CVUY

Ver CVUy

Pertenece al SNI

No pertenece

Pertenece al PEDECIBA

Si pertenece / Grado 3

DATOS DEL PROYECTO DE DEDICACIÓN TOTAL

Título del Plan de Actividades

Realizabilidad Clásica, Categorías y Teorías de Juegos

Palabras clave

Realizabilidad, Correspondencia pruebas-programas, Teoría de Juegos, Aritmética Clásica, Cálculo Lambda, Teoría de la Demostración, Teoría de Modelos.

Resumen Publicable

Mi áarea de investigación se enmarca en la correspondencia pruebas-programas, cuyo paradigma consiste en estudiar el significado informático de los enunciados matemáticos y sus
demostraciones.

Investigo acerca de los Juegos en Realizabilidad Clásica –la teoría de juegos es un modelo teórico de la programación interactiva– asociados a las fórmulas de la aritmética de orden superior. Las demostraciones tienen asociados $\lambda_c$-términos –i.e.: programas en un lambda cálculo extendido con instrucciones de control–. Mi trabajo está orientado a la descripción operativa de las estrategias ganadoras implementadas por los $\lambda_C$-t\’erminos asociados a una demostración.

La teoría general dice que, en la aritmética de orden superior –sistema de tipos
de $\lambda_C$–, el $\lambda_C$-término asociado a
una demostraci\’on de una implicación es capaz de
combinar estrategias ganadoras para los juegos asociados a las
hipótesis para obtener una estrategia ganadora para el juego
asociado a la conclusión. Comprender como las demostraciones actúan como combinadores de estrategias es fundamental en la Semántica de Juegos, ya que establece un significado algorítmico de las demostraciones.

Otro problema relevante es el Problema de la Especificación, el cual consiste en hallar una caracterización algorítmica para los realizadores de una fórmula dada. Esta caracterización se
describe en términos de la Teoría de Juegos.

Grado y Fecha de Ingreso al RDT

Grado 2 / Desde: 2012-01-01

Programa: Científico Proveniente del Exterior

El cargo NO se enmarca en este programa

Participa de Grupo Autoidentificado

No participa de ningún grupo autoidentificado

Observaciones

DOCUMENTACIÓN ADJUNTA

Curriculum Vitae

Aún no se ha cargado el CV.

Último informe de renovación

Aún no se ha cargado el último informe de renovación.

Producción Académica

Documento 1: Descargar Produccion Académica 1
Documento 2: Descargar Produccion Académica 2
Documento 3: Aún no se ha cargado este archivo de Producción Académica.