Colóquio 

04/11/2010, 16:30 — 17:30 — Anfiteatro Pa1, Pavilhão de Matemática
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.