Leibniz dreamed of machines that could calculate and reason. Three hundred and fifty years later, mathematics has created AI, a machine that can both calculate and reason—and thereby create new mathematics. Mathematics has become a tool for its own development.
What is the role of human reasoning?
söndag 5 november 2017
Climate Sense 2018
The Program for the upcoming Nordic Conference on Climate: Climate Sense 2018, February 16-17, Mölndal, features myself among prominent people in the first session (slides for my talk will soon be posted):
Inga kommentarer:
Skicka en kommentar