בגיל 25, יורי מטיאסביץ' (Yuri Matiyasevich) סיפק פתרון שלילי לבעיה העשירית של הילברט, והדגים הלכה למעשה כי לא קיים אלגוריתם כללי לקביעה אם למשוואה דיופנטית שרירותית יש פתרונות שלמים. תוצאה זו, שהושגה תוך שימוש במספרי פיבונאצ'י כדי להראות צמיחה מעריכית בפתרונות משוואות, ביססה את המוניטין שלו בקהילה המתמטית העולמית.
התפתחות מתמטית מוקדמת
מטיאסביץ' נולד בלנינגרד ב-1947, למד בבית ספר מס' 255 לפני שעבר לבית הספר הפיזיקלי-מתמטי מס' 239. השכלתו התיכונית הסתיימה בפנימייה הפיזיקלית-מתמטית מס' 18 של אוניברסיטת מוסקבה. כישרונו בא לידי ביטוי ב-1964 כאשר זכה במדליית זהב באולימפיאדה הבינלאומית במתמטיקה שנערכה במוסקבה. הישג זה הקל על קבלתו לפקולטה למתמטיקה ומכניקה של אוניברסיטת סנקט פטרבורג, שם החל לפרסם מאמרים בלוגיקה מתמטית עוד בהיותו סטודנט לתואר ראשון.
משפט MRDP
מטיאסביץ' השלים את עבודת הדוקטורט שלו במחלקה הלנינגרדית של מכון סטקלוב למתמטיקה, הידועה כ-LOMI, בשנת 1972. עבודתו התבססה על יסודות שהניחו ג'וליה רובינסון (Julia Robinson), מרטין דייוויס (Martin Davis) והילארי פטנאם (Hilary Putnam). על ידי הוכחה שכל קבוצה הניתנת למנייה רקורסיבית היא דיופנטית, הוא השלים את מה שמכונה כיום משפט MRDP. תרומה זו שינתה מיסודה את ההבנה של משוואות דיופנטיות ותורת החישוביות.
קריירה אקדמית ותרומות מחקר
בעקבות הצלחת הדוקטורט שלו, החזיק מטיאסביץ' במספר משרות מחקר, ובהמשך עמד בראש המעבדה ללוגיקה מתמטית ב-LOMI בשנת 1980. הוא הפך לפרופסור במחלקה של סנקט פטרבורג במכון סטקלוב בשנת 1995. מעבר לעבודתו על הבעיה של הילברט, הוא ערך מחקר בתורת הגרפים, במיוחד בחקר משפט ארבעת הצבעים והפרשנויות ההסתברותיות שלו. הוא גם התייחס לשאלות משנת 1927 שהציג ג'ורג' פויה (George Pólya) בנוגע לפונקציית זטא של רימן, תוך קישור מקדמי טיילור שלה באמצעות אי-שוויונות פונקציונליים.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →מינויים מקצועיים והכרה
מטיאסביץ' חבר באקדמיה הרוסית למדעים מאז 2008 וקשור גם לאקדמיה אירופיאה ולאקדמיה הבווארית למדעים ומדעי הרוח. תרומותיו הפדגוגיות כוללות את ניהול בית הספר השנתי לסטודנטים גרמנים-רוסים JASS וראשות האולימפיאדה העירונית למתמטיקה בסנקט פטרבורג. הוא קיבל תוארי דוקטור לשם כבוד רבים, כולל מאוניברסיטת פייר ומארי קירי ומאוניברסיטת אקס-מרסיי.
עובדות מהירות
- לידה: 1947, סנקט פטרבורג - השכלה: אוניברסיטת סנקט פטרבורג - תחום: תורת המספרים, לוגיקה מתמטית - הישג מפתח: פתרון הבעיה העשירית של הילברט - שיוך: האקדמיה הרוסית למדעים - פרס 1964: מדליית זהב באולימפיאדה הבינלאומית במתמטיקה - פרס 1980: פרס מרקוב - תפקיד: פרופסור במכון סטקלוב
שאלות שקוראים שואלים
### מהי המשמעות העיקרית של המשפט של מטיאסביץ'?
הוא סיפק פתרון שלילי לבעיה העשירית של הילברט, והוכיח שלא קיימת שיטה אוניברסלית לפתרון כל המשוואות הדיופנטיות.
### היכן ערך מטיאסביץ' את רוב מחקרו האקדמי?
הוא בילה את רוב הקריירה שלו במחלקה של סנקט פטרבורג של מכון סטקלוב למתמטיקה.