Formelsammlung für Mathematik, Physik, Astronomie, Chemie, Biologie und Informatik
Goldbarren kaufen
  Startseite Formelsammlung bookmarken Bookmark setzen Sitemap anzeigen Sitemap Impressum anzeigen Impressum
 
» Formelsammlung:
» Startseite
» Astronomie
» Biologie
» BWL
» Chemie
» Informatik
» Mathematik
» Physik

» Interaktiv:
» Forum
» Lexikon
» Mitmachen
» Links zu Uns
» Surftipps

» Informationen:
» Kontakt
» Impressum
» Über Formel-Sammlung.de

» Partnerseiten:
  www.schuelerlexikon.de

» Partner:
  Etiketten
Kostenlose Kochrezepte
Künstler Verzeichnis
Schilder
Spieleforum
Witze & SMS Sprüche

Albert Thoralf Skolem



Sie befinden Sie in: Formelsammlung Lexikon > a > Albert Thoralf Skolem
Albert Thoralf Skolem

Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; ? 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph.

Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und Berechenbarkeit. Zu seinen wichtigsten Ergebnisse gehört der zusammen mit Leopold Löwenheim formulierte Satz von Löwenheim-Skolem, nach dem jede Theorie, die ein unendliches Modell hat, Modelle in beliebiger unendlicher Mächtigkeit besitzt.
Weiterhin definierte er eine Normalform der Prädikatenlogik, die nach ihm benannt wurde (Skolemform).


Lexikon Eintrag Drucken | Dokument als PDF downloaden
Dieser Artikel stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 

zum Seitenanfang

» Formel Suche:
  Gebe einfach den Gesuchten Begriff ein.
 
 
» Unterstüzt von:
Duden Paetec Schulbuchverlage

zum Formelsammlung Forum

» Anzeigen:
 
 
       
Diese Seite wurde in 0.006 Sekunden erstellt - 46 Besucher Online.
© 2004 by Formel-Sammlung.de & DUDEN PAETEC GmbH Alle Rechte vorbehalten