Crochet d'Iverson
De Wikipedia, l'encyclopédie encyclopedia
En mathématiques, le crochet d'Iverson, du nom de Kenneth Iverson, est une notation qui renvoie un nombre qui est 1 si une condition est vérifiée et 0 sinon. Plus précisément,
où P est une proposition qui peut être vraie ou fausse.
Cette notation a été instaurée par Kenneth Iverson dans son langage de programmation APL[1],[2], alors que l'usage des crochets était préconisé par Donald Knuth pour éviter les ambiguïtés avec le parenthésage des expressions logiques[3].