- mechanical proof
- мат. механическое доказательство
Большой англо-русский и русско-английский словарь. 2001.
mechanical proof
Смотреть что такое "mechanical proof" в других словарях:
Mechanical fan — Household electric box fan with a propeller style blade A mechanical fan is a machine used to create flow within a fluid, typically a gas such as air. A fan consists of a rotating arrangement of vanes or blades which act on the air. Usually, it… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia
The Method of Mechanical Theorems — is a work by Archimedes which contains the first attested explicit use of infinitesimals.[1] The work was originally thought to be lost, but was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes account of… … Wikipedia
Quantum mechanical Bell test prediction — In physics, the quantum mechanical Bell test prediction is the prediction that quantum mechanics would give for the correlation probabilities for a set of measurements performed on a quantum entangled state. An important outcome of this… … Wikipedia
The Quadrature of the Parabola — is a treatise on geometry, written by Archimedes in the 3rd century B.C. Written as a letter to his friend Dositheus, the work presents 24 propositions regarding parabolas, culminating in a proof that the area of a parabolic segment (the region… … Wikipedia
Dialogue Concerning the Two Chief World Systems — Frontispiece and title page of the Dialogue The Dialogue Concerning the Two Chief World Systems (Dialogo sopra i due massimi sistemi del mondo) was a 1632 Italian language book by Galileo Galilei comparing the Copernican system with the… … Wikipedia
Tide — This article is about tides in the Earth s oceans. For other uses, see Tide (disambiguation). Tidal redirects here. For other uses, see Tidal (disambiguation). High Tide redirects here. For other uses, see High Tide (disambiguation) … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
