בתשובה לעומר, 15/07/05 2:06
ספר מומלץ בנושא 316975
הערך בויקיפדיה:
הילברט ביקש למצוא אלגוריתם שיקבע האם למשוואה דיופנטית פולינומיאלית נתונה יש פתרון במספרים טבעיים (משוואה דיופנטית היא משוואה בעלת מקדמים שלמים). מטיישביץ' הוכיח שלא קיים כזה אלגוריתם.

"כשהילברט הציג את הבעיה, ב-‏1900, הוא ביקש למצוא את האלגוריתם המדובר. הרעיון שייתכן שאין אלגוריתם כזה, ועוד יותר מכך, הרעיון שאפשר *להוכיח* שהאלגוריתם אינו קיים, היה בלתי נתפס. רק בשנות השלושים, לאחר עבודתו של גדל, החלו לשקול ברצינות גם את האפשרות הזו" (אני מקווה שהאזכור הזה עומד בסטנדרטים של אלון...)
ספר מומלץ בנושא 316982
תודה.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים