בתשובה לאלון עמית, 15/07/05 1:45
ספר מומלץ בנושא 316962
5. מהי הבעייה העשירית של הילברט? מה המשפט של מטייסוויץ' טוען?
ספר מומלץ בנושא 316972
עכשיו אלון יבוא ויגיד עוד פעם שאני לא יודע לתת לינקים.
ספר מומלץ בנושא 316976
אתה לא יודע לתת לינקים.

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

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

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

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