formalism
view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules
en-US/ˈfɑɹməˌlɪzəm/
en-GB/ˈfɔːməlɪzəm/
view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules