De Bruijn index

If you find our videos helpful you can support us by buying something from amazon.

De Bruijn index

In mathematical logic, the De Bruijn index is a notation invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms in the λ calculus with the purpose of eliminating the names of the variable from the notation.Terms written using these indices are invariant with respect to α conversion, so the check for α-equivalence is the same as that for syntactic equality.

-Video is targeted to blind users

Attribution:
Article text available under CC-BY-SA
image source in video