Before constructive mathematics, people were cheating - @futureoflifeinstitute
"Joscha Bach Bits" features short videos of Joscha Bach's ideas, opinions, and perspectives on various topics, edited from ...
Before Constructive Mathematics People Were Cheating Futureoflifeinstitute
"Joscha Bach Bits" features short videos of Joscha Bach's ideas, opinions, and perspectives on various topics, edited from ... In this wonderful discussion...
Math Talk! Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.
In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around
The Two Types of Mathematics
Mathematics
Mathematicians STUNNED After AI Solves 10 Decades Old Problems
The Friday crew discusses
Constructivism and the distinction between value and function - @futureoflifeinstitute
"Joscha Bach Bits" features short videos of Joscha Bach's ideas, opinions, and perspectives on various topics, edited from ...
How post-AI math *might* look: "Long-Horizon AI Research for Grothendieck K: Human-AI Math Collab"
Dr. Samuel Allen Alexander, mathematician and philosopher, reads and comments on the preprint "Long-Horizon AI Research for ...