בתשובה לכופר (באבולוציה ע''פ המקרה), 24/11/04 16:44
פרק חלק 263890
"
"שאלת הבעיות הבלתי-כריעות" בתורת המחשבים:
חלק מהן נובע מחוסר ידיעה זמני.
חלק מהגדרות לא נכונות.
חלק מערבוב מושגים בין תחומים.
חלק מאי הבנה ,שהשאלות הנשאלות הן חסרות מובן בהקשר בו הן נשאלות.
חלק מאי הבנה שאי הכריעות הוא הפתרון הנכון ,באותו הקשר כי ההפך מהווה סתירה .
"

האם יש חלק נוסף שמוקדש לדברים שהם פשוט נכונים? ואם לא, לאיזה חלק שייכת העובדה שבעיית העצירה של תוכנית מחשב אינה כריעה?
פרק חלק 263909
לחלק האחרון. לא?
או, הנה מישהו שמבין 263924
למה הכוונה בכך שבעיית אי-כריעות "נובעת מאי הבנה שאי הכריעות הוא הפתרון הנכון ,באותו הקשר כי ההפך מהווה סתירה"?
או, הנה מישהו שמבין 264116
אני יודע? אם אתה מוכיח שכריעות מביאה לסתירה, הרי אי-כריעות היא הכרחית ("הפתרון הנכון" בלשונו של המגיב מעלי). בבעיית העצירה, עד כמה שהסניליות שלי מאפשרת לדבר עליה, אתה מפעיל את האלגוריתם הבודק על עצמו ומגיע לסתירה. הלא כך?

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

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