نيكولاس جوفرت دي بروين

نيكولاس جوفرت " ديك " دي بروين ( بالهولندية: [ ˈnikoːlaːs ˈxoːvər də ˈbrœyn ] ؛ ^{[ a ]} ​​9 يوليو 1918 - 17 فبراير 2012) كان عالم رياضيات هولنديًا ^، اشتهر بمساهماته العديدة في مجالات التحليل ونظرية الأعداد والتوافقية والمنطق . [ ^{1 ]}

وُلد دي بروين في لاهاي ، حيث التحق بالمدرسة الابتدائية بين عامي 1924 و1930، ثم بالمدرسة الثانوية حتى عام 1934. بدأ دراسة الرياضيات في جامعة لايدن عام 1936، لكن دراسته انقطعت بسبب اندلاع الحرب العالمية الثانية عام 1939. أصبح مساعدًا متفرغًا في قسم الرياضيات بجامعة دلفت للتكنولوجيا في سبتمبر 1939، بالتزامن مع مواصلة دراسته. ^{[ 2 ]} أكمل دراسته الجامعية في جامعة لايدن عام 1941. حصل على درجة الدكتوراه عام 1943 من جامعة فريجي أمستردام عن أطروحته بعنوان " حول الأشكال النمطية للتغيرات المتعددة "، بإشراف يورجن فرديناند كوكسما . ^{[ 3 ]}

منذ يونيو 1944، عمل كباحث علمي مشارك في مختبرات أبحاث فيليبس في أيندهوفن .

تزوج من إليزابيث دي غروت في 30 أغسطس 1944. أنجب الزوجان أربعة أطفال: جورينا أليدا (مواليد 19 يناير 1947)، وفرانس ويليم (مواليد 13 أبريل 1948)، وإليزابيث (مواليد 24 نوفمبر 1950)، وجوديث إليزابيث (مواليد 31 مارس 1963). ^{[ 2 ]}

بدأ دي بروين مسيرته الأكاديمية في جامعة أمستردام ، حيث كان أستاذًا للرياضيات من عام 1952 إلى عام 1960. وفي عام 1960 انتقل إلى جامعة أيندهوفن التقنية حيث كان أستاذًا للرياضيات حتى تقاعده في عام 1984. ^{[ 1 ]} وكان من بين طلابه الخريجين يوهانس روننبورغ (1960)، وأنطونيوس ليفيلت (1961)، وس. أكرمانز (1964)، جوزيف بيناكر (1966)، دبليو فان دير ميدن (1967)، ماثيوس هوتوس (1970)، روبرت نيدربيلت لازاروم (1973)، لامبرت فان بينثيم جوتنج (1977)، أ. يانسن (1979)، ديدريك فان دالين (1980) وهارمانوس بالسترز (1986). ^{[ 3 ]}

في عام 1957، عُيّن عضواً في الأكاديمية الملكية الهولندية للفنون والعلوم . ^{[ 4 ]} وقد مُنح وسام فارس من رتبة أسد هولندا .

غطى دي بروين العديد من مجالات الرياضيات. ويُعرف بشكل خاص بما يلي:

• اكتشاف تسلسل دي بروين
• اكتشاف نظرية جبرية لتبليط بنروز ، وبشكل أكثر عمومية، اكتشاف طرق "الإسقاط" و "الشبكة المتعددة" لإنشاء تبليط شبه دوري، ^{[ 5 ] [ 6 ]}
• ثابت دي بروين-نيومان ، المرتبط بفرضية ريمان
• نظرية دي بروين-إردوش ، في نظرية الرسم البياني ، حول تلوين رسم بياني لانهائي
• نظرية أخرى تحمل الاسم نفسه: نظرية دي بروين-إردوش في هندسة التلاقي ، حول عدد الخطوط التي تحددها n نقطة في مستوى
• أفضل نظرية في نظرية المخططات، حول الدوائر الأويلرية، و
• مؤشرات De Bruijn في حساب التفاضل والتكامل لامدا.

لقد كتب أحد الكتب القياسية في التحليل التقاربي المتقدم (دي بروين، 1958).

في أواخر الستينيات، صمم لغة أوتوماث لتمثيل البراهين الرياضية، بحيث يمكن التحقق منها تلقائيًا (انظر التحقق الآلي من النظريات ). وقبل وفاته بفترة وجيزة، كان يعمل على نماذج للدماغ البشري .

مجموعة مختارة من الكتب:

• 1943. أكثر من modulaire vormen van meer veranderlijken
• 1958. الأساليب التقاربية في التحليل، نورث هولاند، أمستردام.

مجموعة مختارة من المقالات:

• دي بروين، نيكولاس جوفيرت. "مشكلة اندماجية"، 1946. في وقائع قسم العلوم، المجلد. 49، رقم 7، ص  758-764. أكاديمية كونينكليكي Nederlandse ضد Wetenschappen.
• دي بروين، نيكولاس جوفرت. " لغة الرياضيات AUTOMATH، استخدامها، وبعض امتداداتها ". ندوة حول البرهان الآلي. سبرينغر برلين هايدلبرغ، 1970.
• دي بروين، نيكولاس جوفرت. " ترميز حساب التفاضل والتكامل لامدا مع متغيرات وهمية مجهولة الاسم، أداة لمعالجة الصيغ تلقائيًا، مع تطبيق على نظرية تشيرش-روسر ." وقائع المؤتمر الدولي للرياضيات. المجلد 75. العدد 5. نورث هولاند، 1972.

• نعي نيكولاس جوفيرت دي بروين
• Bruijn NG de مؤرشف بتاريخ 2012-03-04 على موقع Wayback Machine على الرابط win.tue.nl (باللغة الهولندية)