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.

Mechanization of Math

The primary objective of The Helix Center for Interdisciplinary Investigation is not to obtain knowledge, per se, but to aspire to an unhurried search for wisdom, emphasizing the centrality of a sense of wonder in this endeavor.

Philosophically, we stand against the trivialization of thought and the balkanization within and between the sciences and the arts. Fundamental to our promotion of these views is our roundtable format of open, spontaneous discourse, one facilitating novel encounters of questioning and understanding among participants. Each program endeavors to expand the boundaries of inquiry by facilitating a creative encounter with uncertainty in the face of scientific and artistic advances. To further nurture opportunities for creative social and intellectual exchange, we also sponsor musical performances, poetry readings, film screenings, and other opportunities for imaginative experience.

Visit https://www.helixcenter.org for more!

The primary objective of The Helix Center for Interdisciplinary Investigation is not to obtain knowledge, per se, but to aspire to an unhurried search for wisdom, emphasizing the centrality of a sense of wonder in this endeavor. Philosophically, we stand against the trivialization of thought and the balkanization within and between the sciences and the arts. Fundamental to our promotion of these views is our roundtable format of open, spontaneous discourse, one facilitating novel encounters of questioning and understanding among participants. Each program endeavors to expand the boundaries of inquiry by facilitating a creative encounter with uncertainty in the face of scientific and artistic advances. To further nurture opportunities for creative social and intellectual exchange, we also sponsor musical performances, poetry readings, film screenings, and other opportunities for imaginative experience. Visit https://www.helixcenter.org for more!

Share Mechanization of Math

Sign up to save your podcasts

Mechanization of Math

Mechanization of Math

More shows like The Helix Center

Close Readings