formalism
view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules
pattern theory
mathematical formalism describing knowledge of the world as patterns
abstract rewriting system
formal system for transcribing expressions into equivalent terms