تظل متتالية دي بروين، وهي ترتيب دوري للرموز حيث يظهر كل متتالية فرعية ممكنة بطول معين مرة واحدة بالضبط، حجر الزاوية في الرياضيات التوافقية. يجسد هذا الإسهام، الذي طوره نيكولاس جوفرت دي بروين، مسيرته المهنية التي شملت المشهد الأكاديمي الهولندي وأثرت بشكل كبير على تطور المنطق وعلوم الحاسوب النظرية ونظرية المخططات.
التكوين الأكاديمي والمسيرة المهنية المبكرة
ولد نيكولاس جوفرت دي بروين عام 1918 في لاهاي، وبدأ دراساته الرياضية الرسمية في جامعة ليدن عام 1936. تزامن تعليمه مع بداية الحرب العالمية الثانية، وخلال تلك الفترة عمل كمساعد في جامعة دلفت للتكنولوجيا بدءاً من عام 1939. أكمل دراسته الجامعية في ليدن عام 1941 وحصل على الدكتوراه من جامعة فريجي أمستردام عام 1943، حيث كتب أطروحته 'Over modulaire vormen van meer veranderlijken' تحت إشراف يورجين فرديناند كوكسما.
التعيينات المهنية
بعد عمله في الدكتوراه، انضم دي بروين إلى مختبر فيليبس للفيزياء في أيندهوفن عام 1944. شغل لاحقاً العديد من المناصب الأكاديمية، بما في ذلك العودة إلى جامعة دلفت للتكنولوجيا من عام 1946 حتى 1952. تقدمت مسيرته المهنية إلى جامعة أمستردام، حيث عمل كأستاذ بين عامي 1952 و1960. اختتم فترة تدريسه النشطة في جامعة أيندهوفن للتكنولوجيا، حيث عمل كأستاذ هناك من عام 1960 حتى تقاعده عام 1984.
المساهمات في الرياضيات والحوسبة
غطى إنتاج دي بروين البحثي التوافقيات ونظرية الأعداد والتحليل. يُنسب إليه الفضل في العديد من الهياكل والنتائج الرياضية البارزة، بما في ذلك مخطط دي بروين، ونظرية BEST المتعلقة بالدوائر الأويلرية، ونظرية دي بروين-إيردوس في نظرية المخططات، وثابت دي بروين-نيومان. في أواخر الستينيات، صمم Automath، وهي لغة مخصصة للتحقق التلقائي من البراهين الرياضية. في وقت لاحق من حياته، ركز على نمذجة وظائف الدماغ البشري.
عشرون سؤالاً وثماني دقائق على الساعة، ونسبة مئوية مقاسة مقابل كل من خاضه. دون تسجيل.
اخوض اختبار الذكاء →التكريم والإرث
في عام 1957، تم انتخاب دي بروين عضواً في الأكاديمية الملكية الهولندية للفنون والعلوم. تم الاعتراف بخدمته للمجال بشكل أكبر في عام 1981 عندما تم تعيينه فارساً في وسام الأسد الهولندي. توفي عام 2012 في نونين، تاركاً وراءه مجموعة واسعة من الأعمال التي أثرت على أجيال من الطلاب، بما في ذلك أنطونيوس ليفيلت، وماثيوس هوتوس، وروبرت نيدربيلت لازاروم.
حقائق سريعة
- الميلاد: 1918، لاهاي - الوفاة: 2012، نونين - الجنسية: مملكة هولندا - الدكتوراه: 1943، جامعة فريجي أمستردام - المجالات الرئيسية: التوافقيات، نظرية المخططات - الاختراع الرئيسي: Automath - الجائزة: فارس وسام الأسد الهولندي (1981)
أسئلة يطرحها القراء
### ما هو Automath؟
Automath هي لغة صممها دي بروين في أواخر الستينيات لتمثيل البراهين الرياضية لغرض التحقق التلقائي.
### في أي المؤسسات الأكاديمية المهمة خدم؟
شغل دي بروين مناصب في جامعة دلفت للتكنولوجيا، ومختبر فيليبس للفيزياء، وجامعة أمستردام، وجامعة أيندهوفن للتكنولوجيا.
