WikiDer > Modelltheorie
Modelltheorie ist ein Teilbereich der mathematische Logik und der Mathematik das beschäftigt sich mit den beziehungen zwischen rein formell Ausdruck und ihre Bedeutung. Die Modelltheorie ist Teil der mathematische Logik. Die Modelltheorie beschäftigt sich mit der Untersuchung der Beziehungen zwischen den Eigenschaften einer formalen Theorie und die Eigenschaften eines anderen Mathematikers System. Kurz gesagt, Modelltheoriestudien Mathematische Modelle.
Pionierarbeit auf diesem Gebiet leistete in den 1920er und 1930er Jahren von Kurt Gödel, Thoralf Skolem und Alfred Tarskic.
Zeitgenössische Mathematik und mathematische Physik nutzen Sie intensiv die abstrakte Algebra, das theoretische Physik zum Beispiel verwendet Lügenalgebras. Felder wie die algebraische Zahlentheorie, algebraische Topologie und der algebraische Geometrie algebraische Methoden auf andere Bereiche der Mathematik anwenden. Darstellungstheorie grob gesagt, extrahiert die 'abstrakte' aus der 'abstrakten Algebra' und untersucht die konkrete Seite einer gegebenen algebraische Struktur. Dies ist vergleichbar mit der Modelltheorie.