Sala 6.2.33, Ciências ULisboa (com transmissão através de videoconferência)
Por Paulo Santos (Universidade Nova de Lisboa - CMA).
We establish several consequences of numeral completeness, namely on: a computational version of Kreisel’s conjecture, finitist consistency, and a negative result on the size of proofs of consistency for bounded notions of provability.
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