activity
20182026
most citedAlexander Ostrowski's "On Dirichlet Series and Algebraic Differential Equations"

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.HO2026

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof

James Owen Weatherall, Jesse Wolfson

We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formalizable in a formal proof system. W…