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