Wat is wiskundige logica?
Theoretische, symbolische of wiskundige logica is precies de studie van logica door de interpretatie van symbolen. Het omvat het gebruik van verschillende technieken die een brug slaan tussen conventionele logica en wiskundig redeneren. Onderzoek op dit gebied is doorslaggevend geweest voor de studie van de principes van de wiskunde als zodanig. Wiskundige logica is gekoppeld …