Letter to Rozumot: Two (or More) Mathematicses
Abstract This letter explores the philosophical consequences of AI-assisted theorem…
Epistemology of Mathematics
Leggi tuttoLetter to Rozumot: Two (or More) Mathematicses
Abstract This letter explores the philosophical consequences of AI-assisted theorem…