בתשובה לסמיילי, 23/06/05 16:29
 |
|
 |
||
|
||||
 |
מכונת טורינג שמחשבת את כל הספרות של פאי אבל שאין הוכחה לכך זה מספיק? |  |
 |
 |
|
|
|
||
|
||||
|
נראה לי שכן (אני לא בטוח שהבנתי מה זה ''מכונת טורינג שמחשבת את כל הספרות של פאי אבל שאין הוכחה'', אם אתה יכול להסביר, בלי קואלות, אז אולי אוכל לתת לך תשובה שאני יותר שלם איתה) | |
|
|
|
|
|
||
|
||||
|
נגיד, מכונה שמחפשת סתירה ב-ZFC ומדפיסה ספרות של פאי כל עוד לא מצאה סתירה כזו. אין הוכחה (ככנ"ה) ב-ZFC לכך שהיא תדפיס את פאי, אבל זה מה שהיא תעשה (אם אתה מאמין ש ZFC עקבית). | |
|
|
|
|
|
||
|
||||
|
רעיון ממש יפה. אבל זה לא ממש מה שאני מחפש. המכונה הזאת עושה בעצם שני דברים, מצד אחד מחפשת סתירות ב-ZFC, ומצד שני, כל פעם שהיא לא מוצאת סתירה היא מחשבת סיפרה נוספת של פאי. את חישוב הספרות היא עושה (כנראה) על סמך היותו של פאי יחס היקף המעגל וקוטרו. לכן עדיין לא השתחררנו מהקשר ביניהם. לכן, למרות שאין לי שום הוכחה שהיא תדפיס את פאי, אני יודע שאילו היחס בין היקף המעגל לקוטרו היה שונה, גם ההדפסה שלה היתה שונה. | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |