, Volume 186, Issue 1, pp 371–386

And so on . . . : reasoning with infinite diagrams


DOI: 10.1007/s11229-011-9985-6

Cite this article as:
Feferman, S. Synthese (2012) 186: 371. doi:10.1007/s11229-011-9985-6


This paper presents examples of infinite diagrams (as well as infinite limits of finite diagrams) whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a “pre” form of this thesis that every proof can be presented in everyday statements-only form.


Diagrammatic reasoningInfinite diagramsFormalizability thesis

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of MathematicsStanford UniversityStanfordUSA