Werbung
 Übersetzung für 'compactness theorem' von Englisch nach Deutsch
math.
compactness theorem
Kompaktheitssatz {m}
math.
compactness theorem
Endlichkeitssatz {m}
4 Wörter
math.
Kolmogorov-Riesz (compactness) theorem
Satz {m} von Kolmogorow-Riesz
Teiltreffer
compactnessBündigkeit {f}
compactnessKompaktheit {f}
6
compactnessGedrängtheit {f} [fig.] [z. B. stilistisch]
math.spec.
compactness criteria
Kompaktheitskriterien {pl}
math.
sequential compactness
Folgenkompaktheit {f}
electr.
Whittaker-Kotelnikow-Shannon sampling theorem <WKS sampling theorem>
WKS-Abtasttheorem {n}
math.
Kolmogorov-Arnold-Moser theorem <KAM theorem> [also: theorem of Kolmogorov-Arnold-Moser]
Kolmogorow-Arnold-Moser-Theorem {n} <KAM-Theorem>
math.
Poincaré-Birkhoff-Witt theorem <PBW theorem>
Satz {m} von Poincaré-Birkhoff-Witt
math.
Cantor-Bernstein-Schroeder theorem <CBS theorem>
Cantor-Bernstein-Schröder'scher Satz / Äquivalenzsatz {m}
math.
no free lunch theorem [also: No Free Lunch theorem, no-free-lunch theorem] <NFL theorem>
No-free-Lunch-Theorem {n}
theoremLehrsatz {m}
59
math.
theorem
Theorem {n}
20
math.
theorem
Satz {m}
58
math.
residue theorem
Residuensatz {m}
econ.
Coase theorem
Coase-Theorem {n}
math.
Dinostratus' theorem
Satz {m} des Dinostratos
electr.
reciprocity theorem
Kopplungs­theorem {n} [Reziprozitätstheorem]
phys.
optical theorem
optisches Theorem {n}
phys.
optical theorem
Bohr-Peierls-Placzek-Theorem {n}
phys.
optical theorem
Bohr-Peierls-Placzek-Beziehung {f}
23 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Englisch
  • The completeness theorem and the compactness theorem are two cornerstones of first-order logic.
  • Each "condition" is a finite piece of information – the idea is that only finite pieces are relevant for consistency, since, by the compactness theorem, a theory is satisfiable if and only if every finite subset of its axioms is satisfiable.
  • First-order logic also satisfies several metalogical theorems that make it amenable to analysis in proof theory, such as the Löwenheim–Skolem theorem and the compactness theorem.
  • The compactness theorem states that a set of sentences S is satisfiable if every finite subset of S is satisfiable.
  • Although the usual natural numbers satisfy the axioms of PA, there are other models as well (called "non-standard models"); the compactness theorem implies that the existence of nonstandard elements cannot be excluded in first-order logic.

  • The ultraproduct construction in model theory uses ultrafilters to produce a new model starting from a sequence of [...] -indexed models; for example, the compactness theorem can be proved this way.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!