Axioma's van Huntington

De axioma's van Huntington beschrijven de structuur van een booleaanse algebra, een abstracte algebraïsche structuur die van fundamenteel belang is in zowel de logica als de verzamelingenleer en zijn in het begin van de 20e eeuw door Edward Huntington opgesteld. Huntington introduceerde in 1904 een aantal axioma's voor booleaanse algebra's in zijn artikel Sets of Independent Postulates for the Algebra of Logic.^[1] Zijn werk was een belangrijke mijlpaal in de ontwikkeling van de wiskundige logica, aangezien het aantoonde dat een booleaanse algebra volledig door een minimaal aantal axioma's kan worden gekarakteriseerd.

Een booleaanse algebra wordt gedefinieerd als de tupel ${\displaystyle B=(S,\lor ,\land ,\lnot ,0,1)}$, waarbij:

• ${\displaystyle S}$ een verzameling is van booleaanse elementen.
• ${\displaystyle \lor }$ de logische OR-operator (vereniging) is.
• ${\displaystyle \land }$ de logische AND-operator (doorsnede) is.
• ${\displaystyle \lnot }$ de logische NOT-operator (complement) is.
• 0 en 1 de respectieve waarden van onwaar en waar zijn.

De wiskundige symbolen ${\displaystyle \lor }$, ${\displaystyle \land }$, 0 en 1 die hier worden gebruikt voor het definiëren van een booleaanse algebra, hebben niet dezelfde betekenis als de symbolen die worden gebruikt binnen bijvoorbeeld de theorie van de reële getallen. De betekenis van deze symbolen is specifiek voor booleaanse algebra's en kan variëren afhankelijk van de algebraïsche context.

De axioma's van Huntington hebben brede toepassingen binnen de wiskunde en informatica. Ze vormen de basis voor:

• Logische schakelingen: Het ontwerp van digitale circuits, zoals AND-, OR- en NOT-poorten, is gebaseerd op booleaanse algebra.
• Zoekalgoritmen: De optimalisatie van zoekopdrachten in databases en zoekmachines maakt gebruik van booleaanse logica.
• Verificatie: Bij het valideren van software- en hardwareontwerpen worden de principes van booleaanse algebra toegepast.

• Huntington, E. V. (1904). Sets of Independent Postulates for the Algebra of Logic. Transactions of the American Mathematical Society, 5(3), 288-309.
• Halmos, P. R. (1963). Lectures on Boolean Algebras. Van Nostrand Reinhold.
• Bouqué, E. (1972). Boole’se algebra’s. Story-scientia.
• Bruyneel, G. (1999). Discrete Wiskunde, cursus Hogeschool Gent.
• Biggs, N. L. (2006). Discrete Mathematics. Oxford University Press.
• Papula, L. (1993). Wiskunde voor het hoger technisch onderwijs. Academic Service.