Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Special Session Talk:
Kronecker's Algorithmic Mathematics

Edit abstract data

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 Valid HTML 4.01! Valid CSS!