Contents/conteúdo

Departamento de Matemática Técnico Técnico

Colóquio  RSS

30/09/2004, 16:30 — 17:30 — Sala P3.10, Pavilhão de Matemática
, Professor Emeritus, Courant Institute, New York University

Gödel's Legacy

John von Neumann referring to Gödel's incompleteness theorem called it an "achievement ... [that] is singular and monumental ... a landmark which will remain visible far in space and time ..." In spite of this high praise, the incompleteness theorem has had almost no effect on the work of practicing mathematicians. In this talk, I will discuss the relevance of Gödel's work and ideas for the future of mathematics, and will include some recent results of Harvey Friedman on the use of large cardinal axioms in combinatorial mathematics.
Jointly organized with LabMag, Fundação da Faculdade de Ciências
Colloquium_logo

O Colloquium de Matemática é a designação geral para uma série de palestras mensais organizadas pelo Departamento de Matemática do IST que têm como objetivo divulgar ideias de ou sobre Matemática. Está aberto à participação de docentes, investigadores e alunos de licenciatura, de mestrado ou de doutoramento do IST ou de outras instituições, sendo uma oportunidade de reunir pessoas com interesses afins e de estimular a troca de ideias num ambiente informal.


Organização: Conceição Amado, Lina Oliveira e Maria João Borges.