(Re)imagining Mathematics in a World of Reasoning Machines

Name: (Re)imagining Mathematics in a World of Reasoning Machines
Uploaded: 2024-11-26T17:17:09.000Z
Duration: 54 min 43 s
Channel: Akshay Venkatesh
Description: Akshay Venkatesh explores the evolving conceptualization and practice of research mathematics in an era of advanced automated reasoning, considering historical and…

Akshay Venkatesh

Harvard University·Akshay Venkatesh

54:43

Notebook

Type below to lock the video timestamp, or press S to capture a slide.

(Re)imagining Mathematics in a World of Reasoning Machines

Akshay Venkatesh Harvard University

54:43·2024·research·Standalone Lecture

Akshay Venkatesh explores the evolving conceptualization and practice of research mathematics in an era of advanced automated reasoning, considering historical and philosophical dimensions.

In the coming decades, developments in automated reasoning will likely transform the way that research mathematics is conceptualized and carried out. I will discuss some ways we might think about this. The talk will not be about current or potential abilities of computers to do mathematics – rather I will look at topics such as the history of automation and mathematics, and related philosophical questions.

Philosophy History Philosophy of Science & Logic History of Science & Literature Philosophy of Science & Scientific Realism Automated Reasoning History of Mathematics

Referenced inHacker News

About the lecturer

Speaker directory →

Akshay Venkatesh

Professor of Mathematics at the School of Mathematics at the Institute for Advanced Study, Princeton

Akshay Venkatesh is a Fields Medalist and Professor of Mathematics at Harvard University, recognized for his profound contributions to number theory and ergodic theory.

1 lecture in archiveView profile