220:
31:
334:(1960), Antonius Levelt (1961), S. Ackermans (1964), Jozef Beenakker (1966), W. van der Meiden (1967), Matheus Hautus (1970), Robert Nederpelt Lazarom (1973), Lambert van Benthem Jutting (1977), A. Janssen (1979), Diederik van Daalen (1980), and Harmannus Balsters (1986).
318:
He married
Elizabeth de Groot on 30 August 1944. The couple had four children: Jorina Aleida (born 19 January 1947), Frans Willem (born 13 April 1948), Elisabeth (born 24 November 1950), and Judith Elizabeth (born 31 March 1963).
771:
756:
469:
de Bruijn, Nicolaas Govert. "A combinatorial problem", 1946. In
Proceedings of the Section of Sciences, Vol. 49, No. 7, pp. 758ā764. Koninklijke Nederlandse Akademie v. Wetenschappen.
751:
766:
570:
400:
142:
693:
338:
389:
384:
290:
in
September 1939 while continuing his studies. He completed his undergraduate studies at the University of Leiden in 1941. He received his PhD in 1943 from the
138:
701:
746:
731:
525:
549:
544:
481:
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
761:
181:
741:
278:
where he attended elementary school between 1924 and 1930 and secondary school until 1934. He started studies in mathematics at
150:
327:
287:
376:
146:
522:
590:
342:
154:
292:
91:
698:
602:
432:
372:
and, more generally, discovering the "projection" and "multigrid" methods for constructing quasi-periodic tilings,
736:
323:
301:
193:
130:
251:
726:
721:
330:
where he was
Professor of Mathematics until his retirement in 1984. Among his graduate students were
480:
421:
331:
203:
219:
431:
language for representing mathematical proofs, so that they could be verified automatically (see
358:
126:
122:
564:
473:
279:
670:
637:
365:
188:
110:
705:
529:
413:
134:
118:
114:
506:
369:
242:
207:
715:
675:
658:
642:
625:
259:
255:
247:
407:
326:, where he was Professor of Mathematics from 1952 to 1960. In 1960 he moved to the
283:
106:
30:
286:
in 1939. He became a full-time
Assistant in the Department of Mathematics of the
483:." Indagationes Mathematicae (Proceedings). Vol. 75. No. 5. North-Holland, 1972.
436:
171:
80:
586:
312:
275:
51:
476:." Symposium on automatic demonstration. Springer Berlin Heidelberg, 1970.
474:
The mathematical language AUTOMATH, its usage, and some of its extensions
428:
353:
De Bruijn covered many areas of mathematics. He is especially noted for:
102:
308:
659:"Algebraic theory of Penrose's non-periodic tilings of the plane. II"
69:
626:"Algebraic theory of Penrose's non-periodic tilings of the plane. I"
435:). Shortly before his death, he had been working on models for the
263:
218:
772:
Members of the Royal
Netherlands Academy of Arts and Sciences
282:
in 1936 but his studies were interrupted by the outbreak of
605:(in Dutch). Royal Netherlands Academy of Arts and Sciences
757:
Academic staff of the
Eindhoven University of Technology
307:
From June 1944 he was a
Scientific Associate working in
250:, noted for his many contributions in the fields of
199:
187:
177:
167:
98:
86:
76:
58:
37:
21:
569:: CS1 maint: bot: original URL status unknown (
420:He wrote one of the standard books in advanced
339:Royal Netherlands Academy of Arts and Sciences
246:; 9 July 1918 ā 17 February 2012) was a Dutch
752:Academic staff of the University of Amsterdam
453:Over modulaire vormen van meer veranderlijken
322:De Bruijn started his academic career at the
298:Over modulaire vormen van meer veranderlijken
8:
767:Knights of the Order of the Netherlands Lion
552:. Archived from the original on 2012-10-01
540:
538:
518:
516:
395:a different theorem of the same name: the
29:
18:
674:
641:
663:Indagationes Mathematicae (Proceedings)
630:Indagationes Mathematicae (Proceedings)
603:"Nicolaas Govert de Bruijn (1918ā2012)"
545:MacTutor History of Mathematics archive
493:
337:In 1957 he was appointed member of the
562:
505:
427:In the late sixties, he designed the
241:
7:
694:Nicolaas Govert de Bruijn's obituary
582:
580:
523:Nicolaas Govert de Bruijn's obituary
243:[nikoĖĖlaĖsĖxoĖvÉrtdÉĖbrÅyn]
747:Vrije Universiteit Amsterdam alumni
182:Eindhoven University of Technology
143:De BruijnāErdÅs theorem (geometry)
14:
732:20th-century Dutch mathematicians
288:Technological University of Delft
550:"Nicolaas de Bruijn - Biography"
459:Asymptotic Methods in Analysis,
328:Technical University Eindhoven
223:Prof. dr. N. G. de Bruyn, 1947
1:
591:Mathematics Genealogy Project
547:: Nicolaas Govert de Bruijn.
479:de Bruijn, Nicolaas Govert. "
472:de Bruijn, Nicolaas Govert. "
343:Order of the Netherlands Lion
676:10.1016/1385-7258(81)90017-2
643:10.1016/1385-7258(81)90016-0
293:Vrije Universiteit Amsterdam
92:Vrije Universiteit Amsterdam
341:. He was Knighted with the
788:
433:automated theorem checking
151:Dickmanāde Bruijn function
762:Scientists from The Hague
587:Nicolaas Govert de Bruijn
461:North-Holland, Amsterdam.
377:De BruijnāNewman constant
311:Research Laboratories in
213:
160:
147:de BruijnāNewman constant
28:
23:Nicolaas Govert de Bruijn
742:Leiden University alumni
708:at win.tue.nl (in Dutch)
657:de Bruijn, N.G. (1981).
624:de Bruijn, N.G. (1981).
296:with a thesis entitled "
155:Moserāde Bruijn sequence
465:Articles, a selection:
397:De BruijnāErdÅs theorem
385:De BruijnāErdÅs theorem
324:University of Amsterdam
302:Jurjen Ferdinand Koksma
194:Jurjen Ferdinand Koksma
139:De BruijnāErdÅs theorem
274:De Bruijn was born in
224:
357:the discovery of the
222:
447:Books, a selection:
410:in graph theory, and
424:(De Bruijn, 1958).
422:asymptotic analysis
332:Johannes Runnenburg
204:Johannes Runnenburg
131:De Bruijn's theorem
16:Dutch mathematician
704:2012-03-04 at the
528:2013-04-25 at the
507:[ĖÉ£oĖvÉrt]
401:incidence geometry
359:De Bruijn sequence
225:
127:De Bruijn sequence
123:De Bruijn notation
414:De Bruijn indices
280:Leiden University
217:
216:
200:Doctoral students
162:Scientific career
779:
681:
680:
678:
654:
648:
647:
645:
621:
615:
614:
612:
610:
599:
593:
584:
575:
574:
568:
560:
558:
557:
542:
533:
520:
511:
509:
498:
366:algebraic theory
245:
240:
189:Doctoral advisor
111:De Bruijn factor
65:
62:17 February 2012
47:
45:
33:
19:
787:
786:
782:
781:
780:
778:
777:
776:
737:Graph theorists
712:
711:
706:Wayback Machine
690:
685:
684:
656:
655:
651:
623:
622:
618:
608:
606:
601:
600:
596:
585:
578:
561:
555:
553:
548:
543:
536:
530:Wayback Machine
521:
514:
499:
495:
490:
445:
364:discovering an
351:
272:
238:
228:Nicolaas Govert
206:
153:
149:
145:
141:
137:
135:De Bruijn torus
133:
129:
125:
121:
119:De Bruijn graph
117:
115:De Bruijn index
113:
109:
105:
87:Alma mater
72:
67:
63:
54:
49:
43:
41:
24:
17:
12:
11:
5:
785:
783:
775:
774:
769:
764:
759:
754:
749:
744:
739:
734:
729:
724:
714:
713:
710:
709:
699:Bruijn N.G. de
696:
689:
688:External links
686:
683:
682:
649:
616:
594:
576:
534:
512:
504:is pronounced
500:In isolation,
492:
491:
489:
486:
485:
484:
477:
470:
463:
462:
455:
444:
441:
418:
417:
411:
404:
393:
380:
373:
370:Penrose tiling
362:
350:
347:
271:
268:
215:
214:
211:
210:
208:Stan Ackermans
201:
197:
196:
191:
185:
184:
179:
175:
174:
169:
165:
164:
158:
157:
100:
99:Known for
96:
95:
88:
84:
83:
78:
74:
73:
68:
66:(aged 93)
60:
56:
55:
50:
39:
35:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
784:
773:
770:
768:
765:
763:
760:
758:
755:
753:
750:
748:
745:
743:
740:
738:
735:
733:
730:
728:
725:
723:
720:
719:
717:
707:
703:
700:
697:
695:
692:
691:
687:
677:
672:
668:
664:
660:
653:
650:
644:
639:
635:
631:
627:
620:
617:
604:
598:
595:
592:
588:
583:
581:
577:
572:
566:
551:
546:
541:
539:
535:
531:
527:
524:
519:
517:
513:
508:
503:
497:
494:
487:
482:
478:
475:
471:
468:
467:
466:
460:
456:
454:
450:
449:
448:
442:
440:
438:
434:
430:
425:
423:
415:
412:
409:
405:
402:
398:
394:
391:
387:
386:
381:
378:
374:
371:
367:
363:
360:
356:
355:
354:
348:
346:
344:
340:
335:
333:
329:
325:
320:
316:
314:
310:
305:
303:
300:" advised by
299:
295:
294:
289:
285:
281:
277:
269:
267:
265:
261:
260:combinatorics
257:
256:number theory
253:
249:
248:mathematician
244:
236:
233:
229:
221:
212:
209:
205:
202:
198:
195:
192:
190:
186:
183:
180:
176:
173:
170:
166:
163:
159:
156:
152:
148:
144:
140:
136:
132:
128:
124:
120:
116:
112:
108:
104:
101:
97:
94:
93:
89:
85:
82:
79:
75:
71:
61:
57:
53:
40:
36:
32:
27:
20:
666:
662:
652:
633:
629:
619:
607:. Retrieved
597:
554:. Retrieved
501:
496:
464:
458:
452:
446:
443:Publications
426:
419:
408:BEST theorem
396:
390:graph theory
383:
352:
336:
321:
317:
306:
297:
291:
284:World War II
273:
234:
231:
227:
226:
178:Institutions
161:
107:BEST theorem
90:
64:(2012-02-17)
727:2012 deaths
722:1918 births
437:human brain
172:Mathematics
77:Nationality
48:9 July 1918
716:Categories
556:2021-02-08
488:References
44:1918-07-09
669:: 53ā66.
636:: 39ā52.
313:Eindhoven
276:The Hague
270:Biography
235:de Bruijn
52:The Hague
702:Archived
565:cite web
526:Archived
429:Automath
252:analysis
103:Automath
609:17 July
589:at the
368:of the
309:Philips
502:Govert
457:1958.
451:1943.
239:Dutch:
168:Fields
70:Nuenen
388:, in
264:logic
232:Dick"
81:Dutch
611:2015
571:link
532:2012
406:the
382:the
375:the
349:Work
262:and
59:Died
38:Born
671:doi
638:doi
399:in
718::
667:84
665:.
661:.
634:84
632:.
628:.
579:^
567:}}
563:{{
537:^
515:^
439:.
345:.
315:.
304:.
266:.
258:,
254:,
679:.
673::
646:.
640::
613:.
573:)
559:.
510:.
416:.
403:,
392:,
379:,
361:,
237:(
230:"
46:)
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.