###
30/09/2004, 16:30 — 17:30 — Room P3.10, Mathematics Building

Martin Davis, *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