בתשובה לבועז, 16/03/03 13:23
 |
|
 |
||
|
||||
 |
גם אם אלוהים יתגלה בפנינו, הוא כנראה לא יוכל להוכיח שהוא קיים: תגובה 81007 |
 |
 |
 |
|
|
|
||
|
||||
|
דווקא התגובה הזו מציגה דרך אחת לאלוהים כן להוכיח שהוא קיים ע"י כך שהוא מראה לנו שהוא מבצע חישוב שאי אפשר לבצעו במסגרת היקום שלנו (במיוחד שלמדנו בדיון הזה שיש לנו הערכה על גודלו). אני אישית אסתפק באיזה סנה בוער או משהו בסגנון. --------- אותיות קטנות: צריך איזה תיקון שולי לשיטה של טל: מה שבאמת דרוש שנוכיח קודם (או שנקבל מאלוהים הוכחה) הוא איזה חיזוק מסוים של P=/=NP . (ש NP היא קשה לאלגוריתמים סאב-אקספוננציאלים ב Average Case ולא רק ב worst case.) ראה לגבי ההערה של עוזי מתגובה 81314. בהחלט ייתכן שכאשר יוכיחו את P=/=NP יוכיחו את המשפט עם קבועים מפורשים ולכן אפשר יהיה להשתמש בשיטה הזו. דרך אגב, למעשה בעזרת הוכחות אינטראקטיביות אפשר להשתמש בשיטה הזו גם לבעיות שהם שלמות בPSPACE. בעיות כאלה הם כנראה הרבה יותר קשות מבעיות שהם "סתם" NP שלמות. |
|
|
|
|
|
|
||
|
||||
|
לא קראת את ההמשך, אה? | |
|
|
|
|
|
||
|
||||
|
אני כנראה יותר טמבל ממך - אפילו שקראתי לא הבנתי. אתה יכול להסביר לי למה אתה בדיוק מתכוון? |
|
|
|
|
|
|
||
|
||||
|
אה, יכול להיות שהתכוונת לתגובה 81246 ועניני המסע בזמן? אני לא פיסיקאי, אבל האם ברור שזה אפשרי אפילו תאורטית? אם היקום הוא סופי בגודלו, הוא לא צריך להיות סופי גם מבחינת הזמן? אם כך אז אפשר לתת בעיה חישובית שפתרונה אמור לקחת למחשב שהוא בגודל היקום ושעובד במהירות האור זמן שהוא יותר ארוך מסה"כ הזמן שיש ביקום. --- אבל, כמו שאמרתי, אני הייתי מסתפק באיזה סנה בוער.. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |