בתשובה לבועז, 16/03/03 13:23
לא ניתן להוכיח שאלוקים לא קיים 135635
גם אם אלוהים יתגלה בפנינו, הוא כנראה לא יוכל להוכיח שהוא קיים:
תגובה 81007
לא ניתן להוכיח שאלוקים לא קיים 135639
דווקא התגובה הזו מציגה דרך אחת לאלוהים כן להוכיח שהוא קיים ע"י כך שהוא מראה לנו שהוא מבצע חישוב שאי אפשר לבצעו במסגרת היקום שלנו (במיוחד שלמדנו בדיון הזה שיש לנו הערכה על גודלו).
אני אישית אסתפק באיזה סנה בוער או משהו בסגנון.

---------
אותיות קטנות: צריך איזה תיקון שולי לשיטה של טל: מה שבאמת דרוש שנוכיח קודם (או שנקבל מאלוהים הוכחה) הוא איזה חיזוק מסוים של P=/=NP . (ש NP היא קשה לאלגוריתמים סאב-אקספוננציאלים ב Average Case ולא רק ב worst case.) ראה
לגבי ההערה של עוזי מתגובה 81314. בהחלט ייתכן שכאשר יוכיחו את P=/=NP יוכיחו את המשפט עם קבועים מפורשים ולכן אפשר יהיה להשתמש בשיטה הזו.

דרך אגב, למעשה בעזרת הוכחות אינטראקטיביות אפשר להשתמש בשיטה הזו גם לבעיות שהם שלמות בPSPACE. בעיות כאלה הם כנראה הרבה יותר קשות מבעיות שהם "סתם" NP שלמות.
לא ניתן להוכיח שאלוקים לא קיים 135673
לא קראת את ההמשך, אה?
לא ניתן להוכיח שאלוקים לא קיים 135698
אני כנראה יותר טמבל ממך - אפילו שקראתי לא הבנתי.
אתה יכול להסביר לי למה אתה בדיוק מתכוון?
לא ניתן להוכיח שאלוקים לא קיים 135700
אה, יכול להיות שהתכוונת לתגובה 81246 ועניני המסע בזמן?
אני לא פיסיקאי, אבל האם ברור שזה אפשרי אפילו תאורטית?
אם היקום הוא סופי בגודלו, הוא לא צריך להיות סופי גם מבחינת הזמן?
אם כך אז אפשר לתת בעיה חישובית שפתרונה אמור לקחת למחשב שהוא בגודל היקום ושעובד במהירות האור זמן שהוא יותר ארוך מסה"כ הזמן שיש ביקום.
---
אבל, כמו שאמרתי, אני הייתי מסתפק באיזה סנה בוער..

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

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