Room P5.18, Mathematics Building

Gilles Brassard

Gilles Brassard, Université de Montréal
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.