1.3.1
Non-Symbolic Math
home page

Iconic, diagrammatic, and spatial mathematical forms not only look different, they support new varieties of transformation and new ways to envisage computation, proof and rationality. Calculation by following paths, walking down stairs, opening and closing doors, and stacking blocks is quite different than juggling symbol strings.

The main ideas are in this paper published paper (with material taken from Nonsymbolic Logic below):

SYNTACTIC VARIETY IN BOUNDARY LOGIC
boundary math
notation

∆ non-symbolic

links
site structure

Syntactic Variety was presented at Diagrams 2006. Here are some versions of the presentation:

SYNTACTIC VARIETY PRESENTATION (single, 76 pages)
SYNTACTIC VARIETY PRESENTATION (two/page)
SYNTACTIC VARIETY PRESENTATION (six/page)

In Non-Symbolic Logic, I set out to write a monograph without words. The first piece of this unfinished work is a quick cut-and-paste of content; the second is a chapter (XVII) showing non-symbolic proof examples in eight non-string notations. Boundary Notation is Jeff James' experiments with spatial algebra.

NONSYMBOLIC LOGIC (briefly and partially)*
NONSYMBOLIC LOGIC XVII (proofs)
A BOUNDARY NOTATION FOR VISUAL MATHEMATICS (with Jeff James) (published)