Sumários
29 Outubro 2024, 09:00
•
Pedro Jorge Santos Freitas
A matemática do Renascimento europeu: teoria e aplicações.
24 Outubro 2024, 09:00
•
Bruno Miguel Jacinto
Apresentação e discussão dos logicismo Russelliano e Superior.
Logicismo Russelliano: paradoxo de Russell de propriedades; teoria dos tipos; concepção Russelliana de números naturais e restantes primitivos aritméticos; metodologia abductiva de Russell; apelo ao axioma do Infinito como a maior objecção ao logicismo Russelliano.
Logicismo Superior: teoria dos tipos modal; a verdade lógica de Plenitude Finitária; Plenitude Finitária consistente com a negação do Axioma do Infinito. Redução da aritmética a teoria dos tipos modal mais axioma do Infinito. Redução enquanto premissa de um argumento a favor do Logicismo Superior.
22 Outubro 2024, 09:00
•
Pedro Jorge Santos Freitas
A matemática do Islão e da época medieval na Europa.
17 Outubro 2024, 09:00
•
Bruno Miguel Jacinto
Na aula foram cobertos os seguintes tópicos: Paradoxo de Russell e impredicatividade; Sistema predicativo de Heck; Teoria Zigzagiana de Ferreira; Aritmética na teoria Zigzagiana; Reducibilidade Finita; Objeções à teoria Zigzagiana.
15 Outubro 2024, 09:00
•
Pedro Jorge Santos Freitas
A matemática na idade média: China e Índia.