Colloquium   RSS

30/09/2004, 16:30 — 17:30 — Room P3.10, Mathematics Building
, 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

The Mathematics Colloquium is a series of monthly talks organized by the Department of Mathematics of IST, aiming to be a forum for the presentation of mathematical ideas or ideas about Mathematics. The Colloquium welcomes the participation of faculty, researchers and undergraduate or graduate students, of IST or other institutions, and is seen as an opportunity of bringing together and fostering the building up of ideas in an informal atmosphere.

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