Mathematical Logic Webinar

Numeral completeness of S^1_2: Part B

Dez132021

Localização 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

Horário 16h00

Organização CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Website

https://cmafcio.campus.ciencias.ulisboa.pt/node/171

Tags

CMAFcIO

Matemática

Lógica

#EuFicoEmCasa

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Set 02 2024

Princípios Técnicos de Cibersegurança

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Set 02 2024

Fundamentos de Redes de Computadores

Logótipo do evento, sobre um fundo branco

Set 05 2024

INForum 2024 - Simpósio de Informática

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.