Nicolaas Govert "Dick" de Bruijn (Dutch: [nikoːˈlaːs ˈxoːvərt də ˈbrœyn]; 9 July 1918 – 17 February 2012) was a Dutch mathematician, noted for his many...

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...

the Dutch mathematician Nicolaas Govert de Bruijn, who wrote about them in 1946. As he later wrote, the existence of de Bruijn sequences for each order...

j\leq m\}.} Although De Bruijn graphs are named after Nicolaas Govert de Bruijn, they were invented independently by both de Bruijn and I. J. Good. Much...

The de Bruijn–Newman constant, denoted by Λ and named after Nicolaas Govert de Bruijn and Charles Michael Newman, is a mathematical constant defined via...

mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen...

available, and later studied by the Dutch mathematician Nicolaas Govert de Bruijn. The Dickman–de Bruijn function ρ ( u ) {\displaystyle \rho (u)} is a continuous...

In a 1969 paper, Dutch mathematician Nicolaas Govert de Bruijn proved several results about packing congruent rectangular bricks (of any dimension) into...

In incidence geometry, the De Bruijn–Erdős theorem, originally published by Nicolaas Govert de Bruijn and Paul Erdős (1948), states a lower bound on the...

one. It was created by the Dutch computer-proof pioneer Nicolaas Govert de Bruijn. De Bruijn computed it as the size of the formal proof over the size...