What is a proof? What should it be?

Por • 18 abr, 2019 • Sección: Filosofía

Christoph Benzmüller

Mathematical proofs should be paired with formal proofs, whenever feasible.

arXiv:1904.06332v1 [math.HO]

History and Overview (math.HO); Logic (math.LO)

Post to Twitter

Escribe un comentario