Roy Wagner
Publications in M×Φ
This proof which is not one: the problem of individuating mathematical proofs and its impact on their evaluation online version, March 30, 2026
Volume III, number 2, 2025 — online version, 34 p.
Volume III, number 2, 2025 — online version, 34 p.