Bewysteorie: Verskil tussen weergawes
Content deleted Content added
Verwysing |
Opruim |
||
Lyn 1:
'''Bewysteorie''' is 'n belangrike vertakking van [[wiskundige logika]]<ref name=wang>Hao Wang (1981). ''Popular Lectures on Mathematical Logic'', Van Nostrand Reinhold Company
Sommige van die belangrikste gebiede van die bewysteorie is onder meer struktuurbewysteorie, ordinale analise, bewysbaarheidslogika, omgekeerde wiskunde, bewysmyn, outomatiese stellingbewys en bewyskompleksiteit. Baie navorsing fokus op aansoeke in [[rekenaarwetenskap]], [[taalkunde]] en [[filosofie]].
|