Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Kronecker's Algorithmic Mathematics


Speaker: Harold Edwards

Abstract

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