Unconventional Explorations into Uninhabited Areas of Physics
Through Thought Experiments in the Form of Simulations...

This is NOT an educational site. The views expressed here are not those of mainstream physics.
If you want to contribute to the wiki, email me at the address given in the Contact page.
Legend:  sim  : Article with simulation --  stb  : Article that needs development (stub).

Theories as Vector Spaces of Valid Statements

From Visual Physics Wiki
Jump to navigation Jump to search

Consider the set of all symbols used in a theory. Take the subset of well-formed combinations of these symbols, or theorems. Take a space whose points represent these theorems, the theorem space. Usually there is a category of symbols such as =, `=>` and `<=>` that act as "vectors", in the sense that they allow as to move from one point of the theorem space to another. Axioms act as starting points or points of entry to the theorem space. From these, we contruct more complex vectors (for instance, `(a+b)^2=a^2+b^2+2ab`), and so on). Using these, we expand the area of "true" theorems within the theorem space, that is, the theorems to which we can arrive to starting from the axiom entry points and using the vectors that the rules of the theory allow us.