Nota sobre a sebenta de lógica: a ordem de exposição é diferente da das aulas. Sorry about that.
Caixa de mensagens:
Updates:
Modificação ao Obstáculo 4 da sebenta de lógica. Obrigado à Matilde e ao Fred por me ajudarem a perceber que aquilo estava confuso.
Publiquei a primeira versão do meu (primeiro) projeto de cálculo das variações, porque a demonstração principal foi super difícil de encontrar e quero que isto fique público algures.
Adicionei uma caixa de mensagens. Se virem gralhas nalgum texto, algo que esteja mal explicado, ou queiram só dizer olá, that's the way to do it.
Lógica - Acabei a secção de axiomática, e com isso, a primeira metade de lógica! 🎉 🎉 🎉 Em adição, clarificação na demonstração de coerencia de Heniken.
Lógica - Completei a demonstração de completude e fiz uma revisão geral. Só falta agora (para efeitos da primeira metade de lógica) uma discussão sobre os axiomas necessários.
Lógica - Coerência da construção de Henkin. Início da construção rigorosa do modelo para mostrar o teorema da completude. Bónus: The Drinker's Paradox!
Lógica - Algumas pequenas mudanças.
Lógica - Início da demonstração rigorosa de completude. Demonstração de que adicionar símbolos de constante novos não quebra coerência. Definição de substituições.
Lógica - Ideia por trás da construção de Henkin.
Lógica - Dissertação sobre como quantificadores são difíceis no contexto de completude
Lógica - Pequenos ajustes à secção de completude. Observação sobre o tamanho de assinaturas. Lema de Lindenbaum.
Lógica - Início de completude, algumas propriedades de fórmulas fechadas, metateorema da contradição.
Lógica - Definição de variável livre, lema das variáveis omissas para a lógica de primeira ordem, correção de axioma 4 (spoilers), metateorema da dedução.
Lógica - Adicionei um início mal-feito para lógica de primeira ordem.