Jump to content

Nicolaas Govert de Bruijn

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 62.216.10.72 (talk) at 08:37, 10 November 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

N. G. de Bruijn.

Nicolaas Govert de Bruijn (born 9 July, 1918) is a Dutch mathematician, affiliated as professor emeritus with the Eindhoven University of Technology.

De Bruijn covered many areas of mathematics. He is especially noted for the invention of the De Bruijn sequence. He is also partly responsible for the De Bruijn-Newman constant, the De Bruijn–Erdős theorem and the BEST theorem. He wrote one of the standard books in advanced asymptotic analysis (De Bruijn, 1958). De Bruijn also worked on the theory of Penrose tilings. In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically (see automated theorem proving). Lately, he has been working on models for the human brain.

See also

References

  • De Bruijn, Asymptotic Methods in Analysis, North-Holland, Amsterdam, 1958.
  • Nicolaas Govert de Bruijn at the Mathematics Genealogy Project
  • Other info
  • "De Bruijn--Erdős theorem". PlanetMath.