AT25 Segundo Teorema da Incompletude de Godel

27 Maio 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Teorema do ponto fixo e sua interpretação. Existência de fórmula equivalente à sua derivabilidade em teoria.