Stephen Wolfram, founder and CEO of Wolfram Research and creator of Mathematica, Wolfram|Alpha & Wolfram Language, will be giving a virtual presentation about the foundations of mathematics. He will also discuss the relationship between the foundations of mathematics and other scientific disciplines.
Over the history of human mathematics, a few million theorems have been published. But what is the overall limiting structure of mathematics? To answer this we have to understand what mathematics is fundamentally made of, and how we humans sample it to find things we consider interesting. Wolfram will talk about what we've figured out recently about how the foundations of mathematics can be thought about computationally, and how they relate to the foundations of physics. He will talk about things like the analog of black holes in metamathematical space, the question of why undecidability doesn't end mathematics, and how to think about experimental mathematics and its inevitable role in the future of mathematics.
Join us on Monday, February 6, at 3:10 p.m. in the Community Foundation Theater in the Gund Gallery to hear this exciting presentation. We hope to see you there!