Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

⌘K

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
Terms, Privacy & Copyright
Rights & Takedown
RSS Feed
Sitemap

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

© 2026 Lectern·Independent Academic Archive·Terms & Copyright·YouTube Terms·Google Privacy

⌘K to search · ? for shortcuts

Philosophy & Ethics

/

Academic Discipline

Philosophy & Ethics

Moral and political philosophy, epistemology, metaphysics, philosophy of mind, logic, and philosophy of science.

11courses·117standalone talks·296total lectures

Subfields

All Philosophy296 Moral & Political Philosophy164 Metaphysics, Mind & Mortality52 History of Science & Literature34 Linguistics, Philology & Historical Decipherment28 Existentialism, Phenomenology & Continental Thought24 Philosophy of Science & Logic23 Comparative Mythology, Folklore & History of Religion4 Consciousness Science, Sleep & Computational Psychiatry1

All Philosophy of Science & Logic Philosophy of Science & Scientific Realism18 Philosophy of Language, Reference & Truth5

Save

(Re)imagining Mathematics in a World of Reasoning Machines

(Re)imagining Mathematics in a World of Reasoning Machines

Standalone Lecture·History of Science & Literature · Akshay Venkatesh · Harvard University

Akshay Venkatesh

Harvard University

—

54:43

More categories

Systems & CS (543)Mathematics (519)Physics & Cosmology (490)AI & Machine Learning (262)History & Humanities (398)Biology & Neuroscience (297)Economics & Finance (342)Algorithms & Theory (359)Engineering & Robotics (240)

Automated Reasoning

1