The view that mathematical knowledge is the result of manipulating abstract symbols in accordance with formal rules, without any reference to meaning or reference.
The view that mathematical knowledge is the result of manipulating abstract symbols in accordance with formal rules, without any reference to meaning or reference.