And so on . . . : reasoning with infinite diagrams
Synthese 186 (1):371-386 (2012)
| Abstract | 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRichard Heck (1998). The Finite and the Infinite in Frege's Grundgesetze der Arithmetik. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Jeremy Gwiazda (2012). On Infinite Number and Distance. Constructivist Foundations 7 (2):126-130.
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Eric Hammer & Norman Danner (1996). Towards a Model Theory of Diagrams. Journal of Philosophical Logic 25 (5):463 - 482.
Yaroslav D. Sergeyev (2008). A New Applied Approach for Executing Computations with Infinite and Infinitesimal Quantities. Informatica 19 (4):567-596.
Lorenzo Magnani & Riccardo Dossena (2005). Perceiving the Infinite and the Infinitesimal World: Unveiling and Optical Diagrams in Mathematics. Foundations of Science 10 (1).
Nicholaos Jones & Olaf Wolkenhauer (2012). Diagrams as Locality Aids for Explanation and Model Construction in Cell Biology. Biology and Philosophy 27 (5):705-721.
Sun-Joo Shin (1994). Peirce and the Logical Status of Diagrams. History and Philosophy of Logic 15 (1):45-68.
Jessica Carter (2010). Diagrams and Proofs in Analysis. International Studies in the Philosophy of Science 24 (1):1 – 14.
Brice Halimi (2012). Diagrams as Sketches. Synthese 186 (1):387-409.
Analytics
Monthly downloads |
Added to index2010-02-07Total downloads23 ( #53,790 of 549,017 )Recent downloads (6 months)1 ( #63,261 of 549,017 )How can I increase my downloads? |
My notes
Discussion
