Latest news, Wikipedia summary, and trend analysis.
This topic has appeared in the trending rankings 1 time(s) in the past year. While it does not trend frequently, its appearance suggests a renewed or concentrated surge of public interest.
Based on Wikipedia pageviews and search interest, this topic gained significant attention on the selected date.
De_Bruijn_index entered the ranking for the first time today at position #. This is its highest position ever recorded.
This topic has appeared in the English Wikipedia rankings 1 time. It first appeared on 2026-05-01 and was most recently seen on 2026-05-01.
In mathematical logic, the de Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus without naming the bound variables. Terms written using these indices are invariant with respect to α-conversion, so the check for α-equivalence is the same as that for syntactic equality. Each de Bruijn index is a natural number that represents an occurrence of a variable in a λ-term, and denotes the number of binders that are in scope between that occurrence and its corresponding binder. The following are some examples:The term λx. λy. x, sometimes called the K combinator, is written as λ λ 2 with de Bruijn indices. The binder for the occurrence x is the second λ in scope.
The term λx. λy. λz. x z (y z) (the S combinator), with de Bruijn indices, is λ λ λ 3 1 (2 1).
The term λz. (λy. y (λx. x)) (λx. z x) is λ (λ 1 (λ 1)) (λ 2 1). See the following illustration, where the binders are colored and the references are shown with arrows.
No recent news articles found.
This topic has recently gained attention due to increased public interest. Search activity and Wikipedia pageviews suggest growing global engagement.
Search interest data over the past 12 months indicates that this topic periodically attracts global attention. Sudden spikes often correlate with major news events, public statements, or geopolitical developments.