04/11/2010, 16:30 — 17:30 — Amphitheatre Pa1, Mathematics Building
Angus Macintyre, Queen Mary, University of London
Schanuel's Conjecture and exponential equations over the reals and complexes
Schanuel's Conjecture from transcendental number theory explains all known and expected results containing algebraic independence of values of the complex exponential function. I will explain how it connects to algorithmic questions about systems of exponential equations over the reals and complexes, as well as to old questions in complex analysis, such as Shapiro's Conjecture.
Professor Angus Macintyre visit is supported also by CMAF-Centro de Matemática e Aplicações Fundamentais.