** Derek Jacobi – Breaking the Code as Alan Turing

** Pioneers of Computing gallery, including Alan Turing and Charles Babbage

** In the realm of relativistic many-bodied mechanics, namely the time-symmetric Wheeler – Feynman absorber theory: the equivalence between an advanced Liénard – Wiechert potential of particle j acting on particle i and the corresponding potential for particle i acting on particle j was demonstrated exhaustively to order before being proved mathematically.

** Graphing equivalence –

** Moral equivalence

** Logical equivalence

** Improper rotation equivalence

** Rotational equivalence

** Probabilistic equivalence

** Dynamic and formal equivalence

** Lorentz surface, a two-dimensional oriented smooth manifold with a conformal equivalence class of Lorentzian metrics.

** there is a one-to-one correspondence between outgoing edges of any two nodes of the same information set — thus the set of all outgoing edges of an information set is partitioned in equivalence classes, each class representing a possible choice for a player's move at some point —, and

** In order theory, see order automorphism.

** Microevolution: species — speciation — adaptation — selection — natural selection — directional selection — sexual selection — genetic drift — sexual reproduction — asexual reproduction — colony — allele frequency — neutral theory of molecular evolution — population genetics — Hardy-Weinberg principle

** Quantum chromodynamics, a theory of the strong interaction ( color force )

** Dual ( category theory ), a formalization of mathematical duality

** LTI system theory

** electron theory of metals

** Backward induction in game theory and economics

** for his profound contributions to three major areas of operations research and management science: inventory theory, dynamic programming and lattice programming.

** in recognition of his fundamental contributions to game theory and related areas

** for his contributions to queueing theory, applied probability and stochastic modelling

** Limit ( category theory )

** Most forms of cognitivism hold that some such propositions are true, as opposed to error theory, which asserts that all are erroneous.

** Error theory, another form of moral anti-realism, holds that although ethical claims do express propositions, all such propositions are false.

** In topos theory, the ( codomain of the ) subobject classifier of an elementary topos.

** In group theory, the omega and agemo subgroups of a p-group, Ω ( G ) and ℧( G )

** In number theory, Ω ( n ) is the number of prime divisors of n.

** In relational database theory to represent NULL, a missing or inapplicable value.

** In set theory, the first uncountable ordinal number ( more commonly written as ω < sub > 1 </ sub >)

** In number theory, ω ( n ) is the number of distinct prime divisors of n.

** In number theory, an arithmetic function

** the ultraproduct, in model theory.

** General relativity, Albert Einstein's theory of gravitation

** Special relativity, a theory formulated by Albert Einstein, Henri Poincaré, and Hendrik Lorentz

** Constructionism ( learning theory )

** Coherence theory of truth

** controlling a computer with great computation power or, more commonly, large network bandwidth

** Tommaso Toffoli introduced the reversible Toffoli gate, which, together with the NOT and XOR gates provides a universal set for quantum computation.

** Alexei Kitaev described the principles of topological quantum computation as a method for combating decoherence.

** V. Britanak and K. R. Rao, " A new fast algorithm for the unified forward and inverse MDCT / MDST computation ," Signal Processing 82, 433-459 ( 2002 )

** Actor model, in concurrency, refers to a model of concurrent computation

** Computational overhead, ancillary computation required by an algorithm or program