completeness

completeness

1. täydellisyys

Synonyymisanakirja

completeness

täydellinen, kokonainen, epätäydellinen, vaillinainen, puutteellinen, loogisuus, täydellisyys, yhtenäisyys.

Rimmaavat sanat

completeness rimmaa näiden kanssa:

business...

Katso kaikki

Englannin sanakirja

completeness (englanti > suomi)

1. täydellisyys, valmius

completeness englanniksi

1. the state or condition of being complete

2. puhekieltä The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever $T\; \backslash vDash\; \backslash phi$ is true, then $T\; \backslash vdash\; \backslash phi$ must also be true, for any wff φ of logic L.

3. (quote-book)

THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H:
(a) If $\backslash vDash\; F$ or even if $\backslash aleph\_0$-$\backslash vDash\; F$, then $\backslash vdash\; F$. If $E\_1,\; .\; .\; .\; ,\; E\_k\; \backslash vDash\; F$ or even if $E\_1,\; .\; .\; .\; ,\; E\_k\; \backslash \; \backslash aleph\_0$-$\backslash vDash\; F$, then $E\_1,\; .\; .\; .\; ,\; E\_k\; \backslash vdash\; F$.
(b) ...

Käännökset