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