Seminário de Lógica Matemática

Hilbert's Larger Programme

Sala 6.2.33, FCUL, Lisboa

Reinhard Kahle
CMA & DM, FCT, Universidade Nova de Lisboa

Abstract: In the foundations of mathematics, David Hilbert's name is associated, i.a., with the programmatic idea to carry out consistency proofs for formalized mathematical theories. It is well-known that Gödel's Incompleteness Theorems set limits to this programme which can only be exceeded by transcending the finitistic standpoint which was advocated by Hilbert for the time being. In our talk we relate this narrower Hilbert Programm with his original, much wider mathematico-philosophical concerns. We are able to identify a Larger Hilbert Programme which was successful from the beginning of proof theory till this day; these successes justify outright the philosophical status of mathematical logic as foundational base of mathematics.

This talk is dedicated to the memory of Amílcar Sernadas, 1952-2017, who expressed a great admiration for Hilbert and whose work fits squarely in Hilbert's Larger Programme.

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.

15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Esta unidade curricular interdisciplinar tem uma forte componente empresarial integrando casos de sucesso nas áreas da nutrição e da saúde. Estes serão documentados nas aulas teórico-práticas por especialistas de empresas e associações, e.g.

João Pedro Nunes
Researcher (CCIAM Group)

O CETA é compatível com os novos objetivos do desenvolvimento sustentável? Será um impulso ou um entrave a uma agricultura mais sustentável? Que impactos poderá ter na promoção de uma alimentação saudável e sustentável?

Robert Gray
University of East Anglia

Cerimónia comemorativa do Dia Meteorológico Mundial, com o seguinte programa: 

Raquel Coelho Simões
CEAFEL

Daniel Barlet
Univ. Nancy

Ana Margarida Ribeiro
CMA - FCT, Universidade Nova de Lisboa

António Fernandes
Instituto Superior Técnico, Universidade de Lisboa

Manuel José Ferreira Mendonça apresenta a tese "Vulnerability Detection in Device Drivers".

Por Alexandre Cabral (IA - Instituto de Astrofísica e Ciências do Espaço / FCUL).

Helder Coelho
FCUL / BioISI

A Cicloficina tem como objetivo ajudar os utilizadores de bicicleta a reparar gratuitamente as suas bicicletas e a criar uma cultura de utilização de bicicleta como transporte urbano.

Candidaturas até 27 de março de 2017.

The yearly scientific conference event from the COST Action MP1302.

28-31st March 2017 | Conference Chair: Teresa Madeira Amorim (FCUL).

Maurice de Gosson
Faculty of Mathematics, University of Vienna

A Futurália é a maior feira de educação e formação que se realiza em Portugal, atraindo todos os anos milhares de alunos, professores e famílias.

Pedro Ribeiro
CeFEMA e Departamento de Física, IST, ULisboa

O 2.º workshop do ScienceIN2Business vai percorrer o caminho do empreendedor desde a ideia até à criação do negócio.

As atividades de apoio aos Doutoramentos de Ciências foram recentemente organizadas no PhD Support Programme.

Ana Cristina Ribeiro Alves Ferreira Inácio apresenta a tese "Comparative genomics in Brucella suis: from intra-specific and inter-specific distinctive features to diagnostic molecular markers".

Por Jutta Papenbrock (Leibniz Universität Hannover, Institute of Botany).

Páginas