Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid. Matemaatilisele loogikale vastandatakse traditsioonilist loogikat.
Matemaatilises loogikas esitatakse 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 loogikauuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks.
Vaata ka
🔥 Top keywords: Vikipeedia:EsilehtEri:OtsimineEri:Viimased muudatusedKategooria:Eesti näitlejadPiret HartmanKarnivoorEestiEesti näitlejate loendKeemiliste elementide loendEesti kirjanike loendMarie AntoinetteItaalia linnade loendVahur KersnaKategooria:Eesti lauljadLauri LaatsSaksamaa linnade loendKättemaksukontorKategooria:Eesti maalikunstnikudKategooria:Eesti kirjanikudPriit KärsnaAleksander TootsEvelin VõigemastKategooria:Ameerika Ühendriikide osariigidKategooria:Eesti ajakirjanikudMadis KallasCarles PuigdemontKopenhaageni börsGiuseppe VerdiTeine maailmasõdaLõuna-AasiaEsileht17. aprillKategooria:Eesti jalgpalluridEesti linnadLindude loendEuroopa LiitEvelin SamuelKategooria:Aasia jõedTallinn