And so on \dots : reasoning with infinite diagrams

DOI10.1007/s11229-011-9985-6zbMath1274.00016OpenAlexW1991048978MaRDI QIDQ375286

Solomon Feferman

Publication date: 29 October 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9985-6

zbMATH Keywords

diagrammatic reasoningformalizability thesisinfinite diagrams

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, The role of syntactic representations in set theory, ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING, Diagrams in mathematics, From Euclidean geometry to knots and nets, … and so on: Schütte on Naming Ordinals, PLANS AND PLANNING IN MATHEMATICAL PROOFS

Cites Work

• What does logic have to tell us about mathematical proofs?
• Isabelle/HOL. A proof assistant for higher-order logic
• Mathematical intuition vs. mathematical monsters
• Why Do We Believe Theorems?
• Why Do We Prove Theorems?
• The Derivation-Indicator View of Mathematical Practice
• A formally verified proof of the prime number theorem
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Visualization in Logic and Mathematics
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item