Intuïtionisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 11:
==Intuïtionistische formele logica==
In de intuïtionistische [[formeel systeem|formele logica]], die contrasteert met de [[klassieke logica]], is derhalve de regel van de [[uitgesloten derde]] (voor elke uitspraak ''P'' geldt: ''P'' is waar OF 'niet ''P'' ' is waar) niet geldig. Deze regel, die sinds de klassieke oudheid in de wiskunde is toegepast, werd door Brouwer bestreden. De eerste formalisering van het intuïtionisme werd voltooid in
Intuïtionistische formele logica wordt veel gebruikt in de [[informatica]]. Een van de redenen hiervoor is dat algoritmische [[berekenbaarheid]] van wiskundige entiteiten samenhangt met een bewijs van bestaan in de intuïtionistische logica. Een andere reden is dat correctheidsbewijzen van algoritmen makkelijker verlopen via intuïtionistische logica.
| |||