Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Kronecker's Algorithmic Mathematics

Speaker: Harold Edwards


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