Modeltheorie
Van Wikipedia
Modeltheorie is een deelgebied van de logica en de wiskunde, en handelt over de relaties tussen puur formele uitdrukking en hun betekenis. De modeltheorie is een onderdeel van de mathematische logica. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander mathematisch systeem. Modeltheorie bestudeert kortgezegd wiskundige modellen.
Het baanbrekend werk op dit gebied is in de 1920er en 1930er jaren verricht door Kurt Gödel, Thoralf Skolem (1887-1963) en Alfred Tarski.
[bewerk] Zie ook
[bewerk] Externe links
- Artikel Model theory (Engels) in de Stanford Encyclopedia of Philosophy
- Artikel First Order (Classical) Model Theory (Engels) in de Stanford Encyclopedia of Philosophy
