Brontekst bekijken van Axioma's van Huntington

De axioma's van Huntington vormen een set wiskundige voorwaarden opgesteld door [[Edward Huntington|Edward Vermilye Huntington]] in het begin van de 20e eeuw. Deze axioma's beschrijven de structuur van een [[Booleaanse algebra]], een abstracte algebraïsche structuur die van fundamenteel belang is in zowel de [[logica]] als de [[verzamelingenleer]].

== Context ==
In 1904 introduceerde [[Edward Huntington]] een set van axioma's voor Booleaanse algebra's in zijn artikel ''Sets of Independent Postulates for the Algebra of Logic''. Zijn werk was een belangrijke mijlpaal in de formele ontwikkeling van de wiskundige logica, aangezien het aantoonde dat een Booleaanse algebra volledig gekarakteriseerd kan worden door een minimale set axioma's.

== Eigenschappen ==
De axioma's van Huntington staan bekend om hun minimalistische karakter. Dit betekent dat deze set axioma's voldoende is om alle eigenschappen van een Booleaanse algebra af te leiden, zonder dat er overbodige aannames nodig zijn.

=== 1. Commutatieve wetten ===
* <math>x \lor y = y \lor x</math>
* <math>x \land y = y \land x</math>

=== 2. Distributieve wetten ===
* <math>x \land (y \lor z) = (x \land y) \lor (x \land z)</math>
* <math>x \lor (y \land z) = (x \lor y) \land (x \lor z)</math>

=== 3. Identiteitswetten ===
* <math>x \lor 0 = x</math> 
* <math>x \land 1 = x</math>

=== 4. Complementwetten ===
* <math>x \lor \lnot x = 1</math> 
* <math>x \land \lnot x = 0</math>

=== Notatie ===
Een booleaanse algebra wordt gedefinieerd als de [[Tupel|tuple]] <math>B = (S, \lor, \land, \lnot, 0, 1)</math>, waarbij:
* <math>S</math> een verzameling is van booleaanse elementen.
* <math>\lor</math> de logische OR-operator (vereniging) is.
* <math>\land</math> de logische AND-operator (doorsnede) is.
* <math>\lnot</math> de logische NOT-operator (complement) is.
* 0 en 1 de respectieve waarden van onwaar en waar zijn.

Let op! De wiskundige symbolen <math>\lor</math>, <math>\land</math>, 0 en 1 die hier gebruikt worden 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ëel getal|reële getallen]]. De betekenis van deze symbolen is specifiek voor booleaanse algebra's en kan variëren afhankelijk van de algebraïsche context.

== Toepassingen ==
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.
* '''Formele verificatie''': Bij het valideren van [[software]]- en hardwareontwerpen worden de principes van Booleaanse algebra toegepast.

=== Zie ook ===
* [[Booleaanse algebra]]
* [[Logica]]
* [[Abstracte algebra]]

=== Referenties ===
* 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.



{{Commonscat|Boolean algebra}}

[[Categorie:Booleaanse algebra| ]]
[[Categorie:Abstracte algebra]]
[[Categorie:Programmeerconcept]]