Paranteza Iverson este o funcție care returnează 1 dacă afirmația este adevărată și 0 dacă argumentul este fals:
Notația a fost introdusă de Kenneth Iverson pentru limbajul de programare APL și s-a dovedit a fi o notație matematică foarte convenabilă, de exemplu, cu ea puteți defini succint:
De asemenea, notația este convenabilă atunci când manipulați sumele , deoarece vă permite să le exprimați fără restricții privind indicele de însumare, de exemplu:
,adică, indicele parcurge întregul set de numere întregi și un număr infinit de termeni sunt însumați în mod formal , dar numai un număr finit dintre ei este diferit de zero.
Un exemplu de calcul folosind notația de sumă a lui Iverson pentru o secvență :
, , ,si in ceea ce priveste partea dreapta:
,apoi:
.