בתשובה לגדי אלכסנדרוביץ', 09/06/09 7:36
רק כדי להיות קטנוני... 513113
אפשר להסביר את השאלה? מה זה להוכיח שייתכן?
רק כדי להיות קטנוני... 513114
להוכיח שאין סתירה בין הטענות "אין מחולל פסאודו אקראי" ובין "P שונה מ-NP". הרי ייתכן שהעובדה ש-P שונה מ-NP גוררת בהכרח קיום של מחולל פסאודו אקראי וטרם גילינו את זה.

בכל מקרה, זה גולש לדקויות שאני לא בטוח אם כדאי להיכנס אליהן כאן...
רק כדי להיות קטנוני... 513216
כבר עבר זמן מאז שלמדתי לפסיכומטרי.
יש לנו שתי טענות: A,B.
לדבריך A גוררת את B, אבל לא ידוע אם B גוררת את A.
מה ההבדל בין "ייתכן ש-B נכונה ו-A לא", לבין "אין סתירה בין B לשלילת A"?
אולי מישהו אחר מוכן להיכנס לדקויות?
רק כדי להיות קטנוני... 513222
הבעיה היא שאם A נכונה, אז יש סתירה בין B לשלילת A, פשוט כי שלילת A היא עצמה סתירה. הדקות שאני לא רוצה להיכנס אליה היא שהמשפט המקורי שלי מניח שייתכנו שני "יקומים" שונים - אחד שבו A נכונה, ואחד שבו היא לא נכונה - כשב"יקום" שלנו בדיוק אחד משני אלו קורה.

מן הסתם זה נובע מכך שהמשפט המקורי שלי לא ניסה לטעון טענה מתמטית מדוייקת...

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

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