|
||||
|
||||
5. מהי הבעייה העשירית של הילברט? מה המשפט של מטייסוויץ' טוען? |
|
||||
|
||||
עכשיו אלון יבוא ויגיד עוד פעם שאני לא יודע לתת לינקים. |
|
||||
|
||||
אתה לא יודע לתת לינקים. |
|
||||
|
||||
הערך בויקיפדיה: הילברט ביקש למצוא אלגוריתם שיקבע האם למשוואה דיופנטית פולינומיאלית נתונה יש פתרון במספרים טבעיים (משוואה דיופנטית היא משוואה בעלת מקדמים שלמים). מטיישביץ' הוכיח שלא קיים כזה אלגוריתם. "כשהילברט הציג את הבעיה, ב-1900, הוא ביקש למצוא את האלגוריתם המדובר. הרעיון שייתכן שאין אלגוריתם כזה, ועוד יותר מכך, הרעיון שאפשר *להוכיח* שהאלגוריתם אינו קיים, היה בלתי נתפס. רק בשנות השלושים, לאחר עבודתו של גדל, החלו לשקול ברצינות גם את האפשרות הזו" (אני מקווה שהאזכור הזה עומד בסטנדרטים של אלון...) |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |