On Differences between the Real and Physical Plane

  • Daniel Winterstein
  • Alan Bundy
  • Mateja Jamnik
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2980)

Abstract

When formalising diagrammatic systems, it is quite common to situate diagrams in the real plane, \({\mathbb R}^{\rm 2}\). However this is not necessarily sound unless the link between formal and physical diagrams is examined. We explore some issues relating to this, and potential mistakes that can arise. This demonstrates that the effects of drawing resolution and the limits of perception can change the meaning of a diagram in surprising ways. These effects should therefore be taken into account when giving formalisations based on \({\mathbb R}^{\rm 2}\).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Winterstein, D.: On Differences Between the Real and Physical Plane: Additional Proofs. Informatics Report Series, Edinburgh University (2003), available online at http://homepages.inf.ed.ac.uk/s9902178/physicalDiagrams.pdf
  2. 2.
    Winterstein, D., Bundy, A., Gurr, C., Jamnik, :̇ Using Animation in Diagrammatic Theorem Proving. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, p. 46. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Daniel Winterstein
    • 1
  • Alan Bundy
    • 1
  • Mateja Jamnik
    • 1
  1. 1.Edinburgh University & Cambridge University 

Personalised recommendations