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.
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.