The words contained in this file might help you see if this file matches what you are looking for:

...Euclid s diagrammatic logic and cognitive science yacin hamami john mumma centre for philosophy of vrije universiteit brussel brussels gmail com max planck institute the history berlin abstract more than two millennia elements set stan dard rigorous mathematical reasoning practice text embodied is essentially this aspect it has been captured formally in a logical system termed eu paper we review empirical theoretical works cognition psychology light argue that intuitions euclidean geometry might play role interpretation diagrams show neither mental rules nor models approaches to constitutes by itself good candidate investigating geometrical conclude framework empirically will have account both with information developed stenning van lambalgen purpose introduction distinctive feature elementary natural tuitive character its proofs prominent place subject within education mathematics attests was taken be foundational starting point from time birth ancient greece up until th century remai...