AT24 Segundo Teorema da Incompletude de Godel (aula online)

27 maio 2021, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Teorema de Lob. Segundo Teorema da Incompletude de Godel. Existência de fórmula fechada tal que nem ela nem a sua negação são teoremas de  teoria suficientemente rica da aritmética.