בתשובה לאורי צ., 02/12/20 21:48
התחום האפור (?) של הוכחה מתמטית 729018
סעיף 2 ממש לא ברור. מה זה "לבטא מספר"? לכתוב את הספרות שלו? למספר פאי יש אינסוף ספרות. כבר קיימות הוכחות על מספרים סופיים גדולים במיוחד כגון מספר גרהם או מספרי סקיוז.
בכל מקרה הנה ביטוי קומפקטי למספר שלך: "המספר הנמוך ביותר שסותר את משפט גולדבלך".

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

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

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