## Notes to The Epistemology of Visual Thinking in Mathematics

1.
A *geodesic space* is a metric space in which for any two
points there is a geodesic segment from one to the other. Let \(b\)
and \(c\) be points in metric space \((X, d)\) such that \(d(b, c) =
r\). Then a *geodesic segment* from \(b\) to \(c\) is the image
of an isometric embedding \(g\) of real interval \([0, r]\) into \(X\)
with \(g(0) = b\) and \(g(r) = c\). The embedding \(g\) is isometric
when \(d(g(x), g(y)) = y - x\) for all \(0 \le x \le y \le r\).

2. Figure 13a was created by Wikipedia user Ylebru and released into the public domain; the original can be found at commons.wikimedia.org/wiki/File:Triangolo_iperbolico.svg. Figure 13b was created by Wikipedia user Stomatapol and licensed as Creative Commons Atttribution-Share Alike 3.0; the original can be found at commons.wikimedia.org/wiki/File:Delta_thin_triangle_condition.svg