Matemaatiline loogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
sün |
üle toodud sisu artiklist Sümbolloogika |
||
1. rida:
'''Matemaatiline loogika''' ehk '''sümbolloogika''' on [[matemaatika]] haru, mis uurib matemaatilisi [[tõestus]]i ja [[matemaatika alused|matemaatika aluseid]]. Matemaatilisele loogikale vastandatakse [[traditsiooniline loogika|traditsioonilist loogikat]].
Matemaatiline loogika esitab väiteid ja arutlusi [[formaliseerimine|formaliseeritud]] kujul, kasutades [[kunstlik keel|kunstlikke]] [[formaalkeel|formaalseid keeli]]. Selle valdkonnaga tegelevad nii [[filosoofia]] kui ka [[matemaatika]]. [[20. sajand]]i alguses püüdsid [[Gottlob Frege]], [[Bertrand Russell]] ja teised [[filosoofia|filosoofid]] näidata, et [[matemaatika]]t saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogika-alased uuringud on muutnud tänapäeva [[formaalloogika|formaalse loogika]] üpris matemaatikasarnaseks.
==Vaata ka==
*[[Formaalloogika]]
[[
[[ar:منطق رياضي]]
| |||