Verskil tussen weergawes van "Wiskundige logika"

k
geen wysigingsopsomming nie
(Geen bronnelys)
k
Etiket: 2017-bronwysiging
 
{{Geen bronnelys}}
'''Wiskundige logika''' is 'n subveld van [[wiskunde]] wat die toepassing van formele [[logika]] in wiskunde ondersoek. Dit het 'n noue verband met [[metawiskunde]], die [[grondslae van wiskunde]] en [[teoretiese rekenaarwetenskap]]. Die verenigende temas in wiskundige logika sluit die studie van die ekspressiewe krag van [[formele stelsel]]s en die [[Deduksie|deduktiewe redenasie]]krag van formele [[wiskundige bewys|bewys]]stelsels in.
 
Wiskundige logika word dikwels verdeel in die velde van [[stelteorie]], [[model-teorie]], [[rekursieteorie]] en [[bewysteorie]]. Hierdie velde deel basiese resultate op logika, veral [[eerste-orde logika]], en die [[definieerbare stel|definieerbaar]]heid. In Rekenaarwetenskap (veral in die [[ACM rekenaar klassifikasie stelsel|ACM klassifikasie]]) omvat wiskundige logika bykomende onderwerpe wat nie in hierdie artikel uiteengesit word nie; sien [[logika in rekenaarwetenskap]].
 
Die wiskundige veld van [[kategorie-teorie]] gebruik baie formele aksiomatiese metodes, en sluit die studie van [[Kategoriese-logika]] in, maar kategorie-teorie word nie gewoonlik as 'n subveld van wiskundige logika beskou nie. Vanweë die toepaslikheid daarvan in verskillende velde van wiskunde, het sommige wiskundiges, waaronder Saunders Mac Lane, kategorie-teorie voorgestel as 'n grondslagstelsel vir wiskunde, onafhanklik van versamelings-teorie. Hierdie grondslae gebruik toposes, wat ooreenstem met algemene modelle van versamelingsteorie, wat klassieke of nie-klassieke logika kan gebruik.
 
== Eksterne skakels ==
{{Commons-kategorie inlyn|Mathematical logic}}
 
{{Normdata}}
[[Kategorie:Wiskundige logika]]
28 859

wysigings