- proof is complete
- мат. доказательство завершено
Большой англо-русский и русско-английский словарь. 2001.
proof is complete
Смотреть что такое "proof is complete" в других словарях:
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof Of Destruction — (P.O.D.) is a computer game for the Commodore 64, developed by Mr. Chip Software and published by Mastertronic. It is a shooter, Centipede like game released in 1987, featuring up to two player spaceships moving about on a grid, trying to kill… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Complete group — In mathematics, a group G is said to be complete if every automorphism of G is inner, and the group is a centerless group; that is, it has a trivial outer automorphism group and trivial center. Equivalently, a group is complete if the conjugation … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof (2005 film) — Infobox Film name = Proof caption = Promotional poster for Proof director = John Madden writer = David Auburn (play) Rebecca Miller (screenplay) starring = Gwyneth Paltrow Anthony Hopkins Jake Gyllenhaal Hope Davis producer = Alison Owen, Jeff… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
