Verskil tussen weergawes van "Wiskundige logika"

geen wysigingsopsomming nie
'''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 bestuderingstudie 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 [[stel teorie]], [[model teorie]] [[resion teorie]], en [[bewys teorie]]. Hierdie gebiede deel basiese resultate op logika, veral [[eerste-orde logika]], en [[definable set | definability]]. In Rekenaarwetenskap (veral in die [[ACM rekenaar klassifikasie stelsel | ACM klassifikasie]]) wiskundige logika omvat bykomende onderwerpe wat nie in hierdie artikel uiteengesit word nie; sien [[logika in Rekenaarwetenskap]] vir diegene.
11 036

wysigings