Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).

Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona​).

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.

Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).

Speaker: Imme van den Berg (CIMA, Universidade de Évora).

Speaker: Étienne Miquey (École Normale Supérieure de Lyon).

Speaker: Étienne Miquey (École Normale Supérieure de Lyon).

Speaker: António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).

Zoom Meeting | Meeting ID: 890 8479 3299 | Password: 409604

Speaker: Jaime Gaspar (Centro de Matemática e Aplicações - CMA, FCT, UNL).

Speaker: Pedro Pinto (Technische Universitat Darmstadt).

Abstract: Proof mining is a research program that employs proof theoretical tools to obtain additional information from mathematical results, [1]. Its techniques have been applied successfully to many areas of Mathematics with special focus on Nonlinear Analysis. This presentation reports ongoing joint work with Ulrich Kohlenbach.