formalism
101History of special relativity — The History of special relativity consists of many theoretical and empirical results of physicists like Hendrik Lorentz and Henri Poincaré, which culminated in the theory of special relativity proposed by Albert Einstein, and subsequent work of… …
102Philosophy in the Soviet Union — Philosophical research in the Soviet Union was officially confined to Marxist Leninist thinking, which theoretically was the basis of objective and ultimate philosophical truth. During the 1920s and 1930s, other tendencies of Russian thought were …
103Covariant Hamiltonian field theory — Applied to classical field theory, the familiar symplectic Hamiltonian formalism takes the form of instantaneous Hamiltonian formalism on an infinite dimensional phase space, where canonical coordinates are field functions at some instant of time …
104David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …
105Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …
106Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …
107Lagrangian — This article is about Lagrange mechanics. For other uses, see Lagrangian (disambiguation). The Lagrangian, L, of a dynamical system is a function that summarizes the dynamics of the system. It is named after Joseph Louis Lagrange. The concept of… …
108Gauge theory — For a generally accessible and less technical introduction to the topic, see Introduction to gauge theory. In physics, a gauge theory is a type of field theory in which the Lagrangian is invariant under a continuous group of local transformations …
109Matrix mechanics — Quantum mechanics Uncertainty principle …
110Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… …
