Ideas from tame geometry have recently begun to find their way
into quantum field theory and string theory, suggesting that
consistent effective theories and their observables may admit
definable descriptions of finite complexity. In this talk I...
Hilbert, motivating his list of 23 problems, mentions the
arithmetical formulation of the concept of the continuum in the
works of Cauchy, Bolzano and Cantor, and the discovery of
non-Euclidean geometry by Gauss, Bolyai and Lobachevsky, as...
