The hardest problem in computer science is naming things, therefore Nicolaas de Bruijn solved the hardest problem in computer science