Hola,
Un gusto saludarles. En la pestaña de Material escrito he agregado las notas de clase de estas últimas dos clases, las cuales tienen algunos desarrollos complementarios de lo que está en las notas de Thomas. Todas las notas siguen en el nombre el formato aaa.mm.dd.pdf
También agregué una carpeta que se llama Resúmenes de Bitácora. Allí puse un resumen en formato txt con un punteo jerarquizado de lo que vimos. La idea es que esto les ayude a entender la estructura general de lo que hemos visto sobre Realizabilidad Intuicionista y pensar cuáles son los aspectos más importantes a visitar en un oral.
Todavía no tengo claro cómo parcelar los temas para el oral, pero pienso que este tema es demasiado largo para que sea recorrido en un oral. Probablemente lo parcele al menos en dos partes.
Un saludo cordial,
Mauricio Guillermo.