05/27/2024

A theorem is no more proved by logic and computation than a sonnet is written by grammar and rhetoric, or than a sonata is composed by harmony and counterpoint, or a picture painted by balance and perspective. Logic and computation, grammar and rhetoric, harmony and counterpoint, balance and perspective, can be seen in the work after it is created, but these forms are, in the final analysis, parasitic on, they have no existence apart from, the creativity of the work itself. Thus the relation of logic to mathematics is seen to be that of an applied science to its pure ground, and all applied science is seen as drawing sustenance from a process of creation with which it can combine to give structure, but which it cannot appropriate.

— George Spencer-Brown, Laws of Form