Verskil tussen weergawes van "Wiskundige logika"

Geen grootteverandering nie ,  1 jaar gelede
k
geen wysigingsopsomming nie
k
#[[model teorie]]
#[[rekursie teorie]], en
#[[eewysbewys teorie]] en [[Konstruktiewekonstruktiewe wiskunde]] (word beskou as dele van 'n enkele gebied).
Elke gebied het 'n duidelike fokus, hoewel baie tegnieke en resultate is gedeel onder verskeie gebiede. Die borderlines onder hierdie velde, en die lyne skei wiskundige logika en ander velde van Wiskunde, is nie altyd skerp. [[Gödel's involledigheid stelling]] punte nie net 'n mylpaal in resion teorie en bewys teorie, maar het ook gelei tot [[Löb's stelling]] in modale logika. Die metode van [[dwing (Wiskunde)|dwing]] is in diens van die stel teorie, modelteorie, en resion teorie, asook in die studie van intuitionistic wiskunde.
 
91

wysigings