And so on \dots : reasoning with infinite diagrams

DOI10.1007/S11229-011-9985-6MaRDI QIDQ375286zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1314876 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1550516 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• scientific article; zbMATH DE number 3227117 (Why is no real title available?)
• scientific article; zbMATH DE number 3264065 (Why is no real title available?)
• scientific article; zbMATH DE number 3077768 (Why is no real title available?)
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• A formally verified proof of the prime number theorem
• Isabelle/HOL. A proof assistant for higher-order logic
• Mathematical intuition vs. mathematical monsters
• On formal and informal provability
• The Derivation-Indicator View of Mathematical Practice
• Visualization in Logic and Mathematics
• What does logic have to tell us about mathematical proofs?
• Why Do We Believe Theorems?
• Why Do We Prove Theorems?

Cited in

(15)

• The role of syntactic representations in set theory
• scientific article; zbMATH DE number 2113546 (Why is no real title available?)
• Plans and planning in mathematical proofs
• Diagrams, visualization and operational constraints
• Pictures, Proofs, and ‘Mathematical Practice’: Reply to James Robert Brown
• … and so on: Schütte on Naming Ordinals
• scientific article; zbMATH DE number 1787155 (Why is no real title available?)
• Diagrams as sketches
• scientific article; zbMATH DE number 1787154 (Why is no real title available?)
• Mathematical inference and logical inference
• From Euclidean geometry to knots and nets
• scientific article; zbMATH DE number 1537938 (Why is no real title available?)
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning
• Diagrams in mathematics
• Carroll's infinite regress and the act of diagramming

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)