AP25 Segundo Teorema da Incompletude de Godel

27 Maio 2019, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Computabilidade versus representabilidade. Existência de teoria coerente mas não coerente omega.