Wiskundige logika: Verskil tussen weergawes
Content deleted Content added
No edit summary |
|||
Lyn 14:
Elke gebied het 'n duidelike fokus, hoewel baie tegnieke en resultate verdeel is onder verskeie gebiede. Die grense onder hierdie velde, en die lyne wat wiskundige logika en ander velde van Wiskunde skei is nie altyd merkbaar nie. [[Gödel se onvolledigheidstelling]] het nie net op 'n mylpaal in rekursie-teorie en bewys-teorie gewys nie, maar het ook gelei tot [[Löb se stelling]] in modale logika. Die metode van [[Dwang (Wiskunde)|dwang]] is in diens gestel van die stel-teorie, model-teorie, en rekursie-teorie, asook in die studie van intuitiewe-wiskunde.
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.
[[Kategorie:Wiskundige logika]]
| |||