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 makes multiplication by 3 uncomputable.