T21_26
27 Maio 2019, 10:00 • Mário Jorge Edmundo
Reflexão, reflexão e ponto fixo, teorias suficientemente fortes, reflexão e ponto fixo formal; segundo teorema de incompletude de Godel; notas sobre a consistência de PA, ZFC, etc.
27 Maio 2019, 10:00 • Mário Jorge Edmundo
Reflexão, reflexão e ponto fixo, teorias suficientemente fortes, reflexão e ponto fixo formal; segundo teorema de incompletude de Godel; notas sobre a consistência de PA, ZFC, etc.