Löwenheim

Löwenheim

Löwenheim oder Loewenheim ist der Familienname folgender Personen:

  • Leopold Löwenheim (1878–1957), deutscher Logiker und Mathematiker
  • Ulrich Loewenheim (* 1934), deutscher Rechtswissenschaftler
  • Walter Loewenheim (1896–1977; auch Walter Lowe, Pseudonyme Miles, Kurt Berger und Kurt Menz), sozialistischer Politiker, Gründer und Theoretiker der Gruppe Neu Beginnen und Widerstandskämpfer gegen den Nationalsozialismus


Siehe auch:

Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe.

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Löwenheim-Skolem-Satz —   [nach dem Logiker und Mathematiker Leopold Löwenheim, * 1878, ✝ 1957, und T. Skolem], von Löwenheim 1918 bewiesener Satz: Jede überhaupt erfüllbare Formel der Prädikatenlogik erster Stufe ohne freie Gegenstandsvariable ist schon in einem… …   Universal-Lexikon

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • Löwenheim number — In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds.[1] They are named after Leopold Löwenheim, who proved that these exist for a very broad… …   Wikipedia

  • Löwenheim-Skolem-Theorem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Löwenheim–Skolem theorem — See Skolem–Löwenheim theorem …   Philosophy dictionary

  • Löwenheim–Skolem — …   Useful english dictionary

  • Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …   Wikipedia Español

  • Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Satz von Löwenheim und Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”