Matemaatiline loogika

Allikas: Vikipeedia

Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid. Matemaatilisele loogikale vastandatakse traditsioonilist loogikat.

Matemaatiline loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. 20. sajandi alguses püüdsid Gottlob Frege, Bertrand Russell ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogika-alased uuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks.

Vaata ka[muuda | redigeeri lähteteksti]