Ruprecht-Karls-Universität Heidelberg
MoDiMiDoFrSaSo
27 28 29 30 31 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24
25
26 27 28 29 30
Informationen für
„Computabilty in Mathematics: Turing's Legacy“
Prof. Rod Downey, Victoria University, Wellington, Neuseeland

There have been enormous technical advances in the pure theory on computability and complexity since their roots 80 years ago. Recently we have seen some rich interactions with various areas of mathematics. These include algebra, analysis, algorithmic randomness, ergodic theory, differential geometry, low dimensional topology and many other areas. I plan to outline 'some' recent and not so recent uses of the theory of computation in mathematics. To some extent I will concentrate on some of my own contributions, not because I think they are so deep, but because I know them! Given the thesis that any normal mathematical object will be computable, and given the rise of computational methods because of the computer, I would argue that understanding computable objects should be of central interests to mathematicians.

Donnerstag, den 11. Juni 2015 um 17 Uhr c.t. Uhr, in INF 288, HS2 Donnerstag, den 11. Juni 2015 at 17 Uhr c.t., in INF 288, HS2

Der Vortrag folgt der Einladung von The lecture takes place at invitation by Prof. Ambos-Spies