Wiskundige logica

Wiskundige logica Boekreferentie

Wiskundige logica is een deelgebied van de wiskunde dat de toepassingen van formele logica op de wiskunde onderzoekt. Het heeft nauwe banden met metamathematica, de grondslagen van de wiskunde en de theoretische informatica. De verbindende thema's in de wiskundige logica omvatten de studie van de expressieve kracht van formele systemen en de deductieve kracht van formele bewijssystemen.

De mathematische logica wordt vaak verdeeld in het gebied van de verzamelingenleer, de modeltheorie, de recursietheorie en de bewaartheorie. Deze gebieden delen basisresultaten op logica, met name eerste-orde logica en definieerbaarheid. In de informatica (met name in de ACM-classificatie) omvat de wiskundige logica aanvullende onderwerpen die niet in dit artikel worden beschreven; zie Logica in informatica voor die.

Ondersteunende taal

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

nl-NL = Engels

es-ES = Español

fa-IR = فارسى

fr-FR = français

hij-IL = עִבְרִית

hu-HU = Magyar

it-IT = italiano

ja-JP = 日本語

ko-KR = 한국어

nl-NL = Nederlands

pl-PL = polski

pt-PT = Português

ru-RU = Русский

sr-RS = Српски

sv-SE = Svenska

uk-UA = українська

zh-CN = 中文