Sumários
O século 19 (i)
3 Dezembro 2024, 09:00 • Pedro Jorge Santos Freitas
Álgebra e geometria no século 19.
O que números não poderiam ser, e indeterminação da referência
28 Novembro 2024, 09:00 • Bruno Miguel Jacinto
Apresentação da tese que números naturais são conjuntos. Representação dos números naturais através dos ordinais de Zermelo e dos ordinais finitos de von Neumann. Problema da identificação de Benacerraf. Apresentação e razões a favor do Platonismo Moderado. Noções básicas de teoria dos modelos. Argumento modelo-teorético de Putnam do Platonismo Moderado para a tese da Indeterminação da Referência a objectos matemáticos.
O século 18
26 Novembro 2024, 09:00 • Pedro Jorge Santos Freitas
A matemática no século 18. A família Bernoulli, Euler.
Intuicionismo em matemática
21 Novembro 2024, 09:00 • Bruno Miguel Jacinto
Intuicionismo e verdade como relativa a estádios de construção. Aritmética segundo intuicionistas. Análise real segundo intuicionistas: reais enquanto sequências de escolhas de Cauchy livres ou dadas por regras. Princípio da Continuidade e consequências notável: toda a função nos reais é contínua. Indecomponibilidade dos reais e contínuo Aristotélico. Contraexemplos fracos e fortes ao princípio do Terceiro Excluído. Discussão da objeção de Posy, segundo a qual o Intuicionismo é incapaz de justificar a sua rejeição do princípio do Terceiro Excluído.