Une variable de type booléen ne prend que deux valeurs : vrai ou faux.
Inspirée par le fonctionnement des cellules nerveuses des organismes vivants, la logique neuromorphique propose une alternative à la logique booléenne. Ces concepts introduits en 1943 ont conduit à des applications relativement limitées jusqu'à ce jour.
Je ne relaterai ici que quelques détails de ma thèse : la redécouverte par Kuntzmann et, partiellement, par moi-même, de la classification du grand logicien Emil Post sur les parties de fonctions booléennes, closes par composition et projection.