As an approach to a Theory of Everything a framework for developing a coherent theory of mathematics and physics together is described. The main characteristic of such a theory is discussed: the theory must be valid and and sufficiently strong, and it must maximally describe its own validity and sufficient strength. The mathematical logical definition of validity is used, and sufficient strength is seen to be a necessary and useful concept. The requirement of maximal description of its own validity and (...) sufficient strength may be useful to reject candidate coherent theories for which the description is less than maximal. Other aspects of a coherent theory discussed include universal applicability, the relation to the anthropic principle, and possible uniqueness. It is suggested that the basic properties of the physical and mathematical universes are entwined with and emerge with a coherent theory. Support for this includes the indirect reality status of properties of very small or very large far away systems compared to moderate sized nearby systems. Discussion of the necessary physical nature of language includes physical models of language and a proof that the meaning content of expressions of any axiomatizable theory seems to be independent of the algorithmic complexity of the theory. Gödel maps seem to be less useful for a coherent theory than for purely mathematical theories because all symbols and words of any language must have representations as states of physical systems already in the domain of a coherent theory. (shrink)

The first invariance principle, called “meaningfulness,” is germane to the common practice requiring that the form of a scientific law must not be altered by a change of the units of the measurement scales. By itself, meaningfulness does not put any constraint on the possible data. The second principle requires that the output variable is “order-invariant” with respect to any transformation (of one of the input variables) belonging to a particular family or class of such transformations which are characteristic of (...) the law. These principles are formulated as axioms of a theory. Taken together, meaningfulness and order-invariance axioms have strong consequences on the feasible theories. Three applications of our results are discussed in details, involving the Lorentz–FitzGerald contraction, Beer's law, and the Monomial laws, each of which is derived from three axioms implementing meaningfulness and order-invariance concepts. (An “initial condition” axiom is also used.) Not all scientific laws are order-invariant in the sense of this paper. An example is van der Waals' equation. (shrink)

Introduction Major scientific revolutions are rarely, if ever, started deliberately. They can be "in the air" for a long time before the first recognizable ...