• This is NOT an educational site. The views expressed here are not those of mainstream physics.
  •  sim  : Article with simulation --  stb  : Article that needs development (stub).
  • Please register to be able to edit pages and post in the forum. Anonymous visitors can leave their comments in the discussion page of each article.
  • You can help answer some of the project's Open Questions.

Theories as Vector Spaces of Valid Statements

From Visual Physics Wiki

Jump to: navigation, 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.

Personal tools