O Conceito de Superorganismo

A Herança de Hilbert na Filosofia e os Fundamentos da Matemática

CÁTEDRA A RAZÃO

16 DE MARÇO

18 horas, Sala 5.2.

Faculdade de Letras da UL

AUGUSTO J. FRANCO OLIVEIRA

A HERANÇA DE HILBERT NA FILOSOFIA

E FUNDAMENTOS DA MATEMÁTICA

RESUMO

David Hilbert (1862-1943) foi o maior expoente da corrente filosófica nos fundamentos conhecida por formalismo. Esta corrente informa o chamado programa de Hilbert, essencialmente um programa de validação dos sistemas axiomáticos através de provas finitárias de consistência ou não contradição. É afirmação recorrente que os metateoremas de incompletude de Gödel (1931) deitaram por terra estas pretensões de Hilbert. Todavia, termos como "formalismo", "prova finitária" não foram definidos com precisão, por um lado, e os matemáticos (antes e depois dos sucessos e insucessos nos fundamentos nas primeiras três décadas do séc. XX) aderiram firmemente aos métodos axiomáticos, levando as ideias de Hilbert aos seus limites, por outro. A exposição faz um curto historial dos principais acontecimentos e posições filosóficas ligadas ao formalismo hilbertiano e à sua sobrevivência na prática matemática corrente.

A New Vision on Physis

Clique na imagem para a ver em boas condições.

A Humanidade e o Cosmos

Realiza-se na Universidade Fernando Pessoa (Porto), nos próximos dias 13 e 14 de Novembro, o 3ºSimpósio Internacional Fronteiras da Ciência dedicado ao tema: "A Humanidade e o Cosmos: à procura do Outro e de Si Mesmo", no qual Paulo Borges (14/XI) e Carlos João Correia (13/XI) proferirão duas conferências.

Diagrammatology

No próximo dia 24 de Março, às 11:45, Nuno Nabais profere uma comunicação sobre "Diagrammatology" no âmbito do Colóquio "Diagrammatology and Diagrammatic Praxis".
Faculdade de Ciência, Edifício C1, 3ºandar.