Find over 25,000 psychological definitions


impulse-timing model

a model for the organization of a motor program in which the movement trajectory is determined by the amplitude and timing of force impulses produced by the agonist and antagonist muscles. See also equilibrium-point model.

Browse dictionary by letter

a b c d e f g h i j k l m n o p q r s t u v w x y z

Psychology term of the day

January 30th 2025

Gödel’s proof

Gödel’s proof

a proof that in any logic system at least as powerful as arithmetic it is possible to state theorems that can be proved to be neither true nor false, using only the proof rules of that system. Published in 1931, this incompleteness result was very challenging to the mathematics of the time. British mathematician Alan Turing (1912–1954), with his proof of the undecidability of the halting problem, extended this result to computation (see Turing machine). [Kurt Gödel (1906–1978), Austrian-born U.S. mathematician]