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?
onsdag 23 oktober 2013
Talk at NSCM26: Bluff Body Drag
The slides to my talk at NSCM26 at Simula Oslo Oct 23 - 25 to the honor of my friends and collegues Juhani Pitkäranta (65) and Rolf Stenberg (60), is now available as
Inga kommentarer:
Skicka en kommentar