Logical Approaches to Computational Barriers

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 |