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.
Hierdie artikel is in sy geheel of gedeeltelik vanuit die Engelse Wiki vertaal. |
This article uses material from the Wikipedia Afrikaans article Modelteorie, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Inhoud is onderhewig aan CC BY-SA 4.0, tensy anders vermeld. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Afrikaans (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.