Computer Mathematics, AI and Functional Programming – Moa Johansson

This talk will take us through (some of) the history of artificial intelligence since its birth in the 1950’s. We’ll see how the dream of developing intelligent computer programs for mathematics is closely linked to the birth of functional programming.