NeoRussellian Logicism
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Seminário Permanente de Filosofia das Ciências, por José Ferreirós (Universidade de Sevilha).
Lisbon Webinar in Analysis in Differential Equations, por Serena Dipierro e Enrico Valdinoci (University of Western Australia).
UL Extremes Webinar, por Manuel Scotto (Instituto Superior Técnico / CEMAT).
Webinar de Análise e Equações Diferenciais, por Nilima Nigam (Simon Fraser University).
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).
Geometry Webinar, por André Oliveira (CMUP).
2020 é um ano que ficará para a história por muitas razões relacionadas com a pandemia, mas também pelos avanços registados na ciência que estuda os fotões, particularmente na fotónica linear e não linear e cujos estudos foram publicados na Nature, Nature Photonics e Science e contaram com a colaboração teórica de Vladimir Konotop, professor do Departamento de Física e investigador do Centro de Física Teórica e Computacional da Ciências ULisboa.
Speaker: Svetlana Roudenko (Florida International University).
Speaker: Paulo Guilherme Santos (Departamento de Matemática - Universidade Nova de Lisboa).
Abstract: In this talk, we will present a form of completeness for numerals that holds for Peano Arithmetic. We will establish relationships between this result and a weak version of an initial form of Hilbert's Program.