Planned seminars


Room P5.18, Mathematics Building Instituto Superior Técnicohttps://tecnico.ulisboa.pt

Gilles Brassard

Gilles Brassard, http://www.iro.umontreal.ca/~brassard/web/en/

Even though mathematics may seem universal, this is not the case. Constructive mathematics, whose main proponent was Brouwer, offers a radically different perspective compared to classical mathematics rooted in the logic of Aristotle. In this talk, I shall discuss various definitions of computable reals and computable functions. We shall see that a definition of computable reals that appears very natural make multiplication by 3 uncomputable.