Wiskundige logika: Verskil tussen weergawes

{{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.

 

[[Kategorie:Wiskundige logika]]