Transmissão através de Videoconferência
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.
Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604
16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional