From Wikipedia, the free encyclopedia
In wiskunde is modelteorie die studie van klasse van wiskundige strukture (bv. groep, veld, grafiek, vorme van stelteorie) uit die perspektief van wiskundige logika. Die oogmerke van die studie is modelle van teorie in 'n formele taal. 'n stel sinne in 'n formele taal is een van die komponente wat 'n teorie vorm. 'n Model van 'n teorie is 'n struktuur (bv. 'n uitleg) wat die sinne van daardie teorie bevredig.
Modelteorie erken, en is intiem gemoeid, met 'n dualiteit: dit ondersoek semantiese elemente (betekenis en waarheid) deur middel van sintaktiese elemente (formules en bewyse) van 'n ooreenstemmende taal: in 'n samevattende definisie, van 1973,
Modelteorie het gedurende die 1990's snel ontwikkel; 'n meer moderne definisie daarvan is deur Wilfrid Hote verskaf (1997):
Ander nabygeleë gebiede van wiskunde sluit in kombinatorika, getallestelsels, rekenkundige dinamika, analitiese funksies, en nie-standaard analise. Op 'n soortgelyke wyse as bewysteorie, is modelteorie geleë in 'n gebied van interdissiplinariteit onder wiskunde, filosofie, en rekenaarwetenskap. Die mees prominente professionele organisasie op die gebied van modelteorie is die Vereniging vir Simboliese Logika.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.