Switch to: References

Add citations

You must login to add citations.
  1. A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
    We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Survey on the Recent Studies of the Role of Diagrams in Mathematics from the Viewpoint of Philosophy of Mathematics.Hiroyuki Inaoka - 2014 - Kagaku Tetsugaku 47 (1):67-82.
    In this paper, we would present an overview of the recent studies on the role of diagram in mathematics. Traditionally, mathematicians and philosophers had thought that diagram should not be used in mathematical proofs, because relying on diagram would cause to various types of fallacies. But recently, some logicians and philosophers try to show that diagram has a legitimate place in proving mathematical theorems. We would review such trends of studies and provide some perspective from viewpoint of philosophy of mathematics.
    Download  
     
    Export citation  
     
    Bookmark