And so on \dots : reasoning with infinite diagrams

DOI10.1007/S11229-011-9985-6zbMATH Open1274.00016OpenAlexW1991048978MaRDI QIDQ375286FDOQ375286

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

Recommendations

• scientific article; zbMATH DE number 2113546
• scientific article; zbMATH DE number 918108
• The role of diagrams in mathematical arguments
• That we \textit{see} that some diagrammatic proofs are perfectly rigorous
• Crossing curves: a limit to the use of diagrams in proofs

zbMATH Keywords

diagrammatic reasoningformalizability thesisinfinite diagrams

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Cites Work

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

Cited In (13)

• PLANS AND PLANNING IN MATHEMATICAL PROOFS
• Diagrams in mathematics
• From Euclidean geometry to knots and nets
• ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
• The role of syntactic representations in set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pictures, Proofs, and ‘Mathematical Practice’: Reply to James Robert Brown
• Carroll's infinite regress and the act of diagramming
• … and so on: Schütte on Naming Ordinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

This page was built for publication: And so on \dots : reasoning with infinite diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375286)