diff options
Diffstat (limited to 'essays/post_formalism_memories.tex')
| -rw-r--r-- | essays/post_formalism_memories.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/essays/post_formalism_memories.tex b/essays/post_formalism_memories.tex index 6cf9b4d..73477a5 100644 --- a/essays/post_formalism_memories.tex +++ b/essays/post_formalism_memories.tex @@ -1,7 +1,6 @@ \newcommand{\midheading}[1]{ { \vskip 1em \centering \large \textsc{#1} \par \vskip 1em }} -\newcommand{\sysname}[1]{\enquote{\textsc{#1}}} \chapter{Post-Formalism in Constructed Memories} \section{Post-Formalist Mathematics} @@ -23,7 +22,7 @@ innovations. The formalist position goes as follows. Pure mathematics is the manipulation of the meaningless and arbitrary, but typographically -well-defined ink-shapes on paper `$w$,' `$x$,' `$y$,' `$z$,' `${}'$,' `$($,' `$)$,' `$\downarrow$,' and `$\in$.' +well-defined ink-shapes on paper `$w$,' `$x$,' `$y$,' `$z$,' `$'$,' `$($,' `$)$,' `$\downarrow$,' and `$\in$.' These shapes are manipulated according to arbitrary but well-detined mechanical rules. Actually, the rules mimic the structure of primitive systems such as Euclid's geometry. There are formation rules, mechanical |