Verskil tussen weergawes van "Wiskundige logika"

geen wysigingsopsomming nie
k
'''Wiskundige logika''' is 'n subveld van [[wiskunde]] die verkenning vanwat die aansoeketoepassing van formele [[logika]] nain wiskunde ondersoek. Dit drahet 'n noue verbindingsverband met [[metawiskunde]], die [[Grondslae van Wiskunde]], en [[teoretiese Rekenaarwetenskap]]. Die unifiserendeverenigende temas in wiskundige logika sluit die bestudering van die ekspressiewe krag van [[formele stelsel]]s en die [[aftreksugtige redenasie|aftreksugtige]] krag van formele [[wiskundige bewys|bewys]] stelsels.
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