Wiskundige logika: Verskil tussen weergawes

Content deleted Content added
No edit summary
Etikette: Teruggerol Selfoonbydrae Wysiging op selfoonwerf
k Wysigings deur 37.63.201.154 teruggerol na laaste weergawe deur Rooiratel
Lyn 1:
{{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 vaاجلن مرلغررکnvan 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]].