בתשובה לעדי סתיו, 14/12/06 19:59
בעית העצירה 424561
גדי אלכסנדרוביץ' • בתשובה לעדי סתיו יום ה', 14/12/2006, 20:03
זה כנראה אני שלא מבין לאן אתה חותר. אני פשוט רציתי לציין שהבעיה של קביעה האם משפט הוא יכיח או לא היא לא תמיד בלתי ניתנת לפתרון; יש מערכות של אקסיומות שהן שלמות ונאותות.
בעית העצירה 424566
עדי סתיו • בתשובה לגדי אלכסנדרוביץ' יום ה', 14/12/2006, 20:15
רציתי לומר שאני לא רואה שום סדרה אינסופית ''מעניינת'' בלתי-ניתנת-לחישוב שהיא לא בעיית העצירה או ניתנת לרדוקציה ממנה, כתגובה לביקורת של ראובן על נושא המאמר. נתתי דוגמה לסדרה אינסופית מעניינת כזו (האם משפט נכון או לא) אבל שניתנת לרדוקציה מבעיית העצירה. אם סדרה היא ממש ניתנת לחישוב, ודאי שהיא לא מתחרה עם בעית העצירה על נושא המאמר.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות