A visita do Professor Martin Davis

Godel's legacy
Martin Davis (Professor Emeritus - Courant Institute, New York University)

John von Neumann referring to Godel'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 Godel'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.

O Professor Martin Davis é corresponsável pela demonstração do Teorema MRDP
que responde ao 10º problema de Hilbert: «Given a diophantine equation with
any number of unknown quantities and with rational integral numerical
coefficients: To devise a process according to which it can be determined by
a finite number of operations whether the equation is solvable in rational
integers.»

O Professor Martin Davis é moderador do grupo FOM - Foundations of
Mathematics.

A visita do Professor Martin Davis, convidado do LabMAg - Laboratório de
Modelação de Agentes da Faculdade de Ciências, é assinalada com dois eventos
particularmente interessantes: uma palestra no Departamento de
Matemática da Faculdade de Ciências («The Universal Computer»), cujo sumário
está disponível e um COLLOQUIUM no DM/IST:

Date and location: Thursday, September 30, 2004, 16h30,
Dep. Mathematics (Post-Graduation Building), room P3.10,
Instituto Superior Tecnico.