Tacit Knowledge and Partial Automation in Mathematics

Explore a thought-provoking lecture on the interplay between tacit knowledge and partial automation in mathematics, delivered by Rodrigo Ochigame from Leiden University. Delve into the complexities of mathematical reasoning and the challenges of automating certain aspects of mathematical practice. Gain insights into how tacit knowledge, often difficult to articulate or codify, plays a crucial role in mathematical thinking and problem-solving. Examine the potential and limitations of partial automation in mathematics, considering its implications for the future of mathematical research and education. Engage with cutting-edge ideas at the intersection of mathematics, philosophy, and computer science as part of the prestigious 2022 Fields Medal Symposium honoring Akshay Venkatesh.