Sat
Oct 5th
2019
  Watch
View roundtable details

Mechanization of Math

This roundtable explores the nature of mathematical proof and the growing role of computers and AI in verifying and potentially producing proofs. It considers whether mathematics is a human practice with intrinsic value or a process that can ultimately be automated and entrusted to machines.
Sat
Jan 19th
2019
  Watch
View roundtable details

Math models Mind

This roundtable explores whether mathematics has a unifying essence analogous to “life” in biology, and what that might mean for the discipline as a whole. It considers the role of mathematical language, analogies, and connections in shaping the coherence and perceived beauty of mathematical ideas.
Sat
Feb 10th
2018
  Watch
View roundtable details

Mind Matters: Past, Present, and Future

This roundtable traces the evolving understanding of mind from ancient philosophical and theological conceptions to contemporary accounts grounded in neuroscience, cognitive science, and computational models. It considers how advances across multiple scientific disciplines have reshaped ideas of mental phenomena, while also reflecting on the continuing roles of metaphysics and theology in interpreting the nature, limits, and future of mind, including speculation on how the concept of mind itself may change in the next century.