Computability in Europe 2008
Logic and Theory of Algorithms
Special Session Talk:
Leopold Kroneker (1823-1891) formulated his mathematics in very algorithmic terms, but he seems to have had no interest in actually implementing his algorithms. Rather, he was interested in freeing the foundations of mathematics from metaphysical considerations and basing his work in algebra and number theory on a solid, pragmatic, computational foundation. Some of his algorithms will be examined from both the theoretical and the practical side.
|websites: Arnold Beckmann||2007-12-06|