Bruno Buchberger (RISC-Linz, Johannes Kepler Universitat)
Title: Algorithmic Intelligence
Abstract: Consciousness, Reflexion, Intelligence, Mathematics, Models, Knowledge, Algorithms, Machines, Computation, Software, Symbolics, Numerics, Programming, Automated Reasoning, Automated Programming, Machine Learning, Artificial Intelligence, Algorithmic Intelligence, … In this talk, I try to clarify these notions and how they relate to each other. I will draw some conclusions about the power of mathematics for the future, which is expressed (and hidden) in changing wording. In particular, I will speak about the critical importance of mathematical education for the future of the world.