Mathematical Logic Webinar

Arithmetical Numeral Completeness

Dez142020

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

Horário 16h00

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

Website

http://cmafcio.campus.ciencias.ulisboa.pt/

Tags

CMAFcIO

Matemática

Lógica

#EuFicoEmCasa

Jan 13 2025

Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e fotografia de avião a sobrevoar cidade

Jan 13 2025

4.ª Conferência Anual da redeMOV

“A Interface Urbana na Rede de Transporte Aéreo” é o tema da 4.ª Conferência Anual da redeMOV.

Título "5th edition ULisses", sobre fotografia do mar

Jan 15 2025

Projeto ULISSES (5.ª edição)

Prazo de apresentação de candidaturas prolongado até 15 de janeiro.

Representação antiga da cidade de Lisboa

Jan 22 2025

Lisboa em Transformação: Colaborar, Inovar e Inspirar Novos Horizontes através de uma lente Regenerativa

A conferência está limitada a 100 participantes - realize já a sua inscrição e reserve o dia na sua agenda.

Jan 26 2025

Recreational Mathematics Colloquium 8

O evento, que conta com a participação do CIUHCT, terá a participação, entre outros, do matemático e historiador da matemática Professor Robin Wilson (Reino Unido) e do criador do primeiro museu de ciência dedicado inteiramente à matemática, Professor Albrecht Beutelspacher (Alemanha).

Fev 11 2025

Workshop de Voz

Ação de formação para docentes e investigadores de CIÊNCIAS.

Fev 14 2025

A PDE Journey with João Paulo Dias

A Celebration of his 80th Birthday - registration until 24 January.

Fev 20 2025

Dia do DEGGE 2025

Um evento dedicado às três áreas de estudo do DEGGE: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.