Room P5.18, Mathematics Building
Gilles Brassard, http://www.iro.umontreal.ca/~brassard/web/en/
Computable versus printable numbers
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.