 |
אני חייב לציין שאני לא מספיק בקי במעברים ממערכות-טיורינג למכונות פורמאליות, ולהיפך (ובאלכסון). המעבר שדיברתי עליו הוא זה שמצוי במאמר של לוקאס (אולי הגיע הזמן לתת לינק):
אתה צודק שמעבר כזה מלמד אותנו מעט מאוד על המערכת האקסיומטית שקשורה לאותה מכונת טיורינג. מכונת טיורינג זו1 בהחלט עשויה להוות מערכת לא עקבית ולא שלמה ועדיין לתאר אדם. בדיון 2312 כבר האיר אלון את עיניי לעובדה הזאת, ובאמת זנחתי את הטיעון הזה. אבל חשבתי על טיעון אחר שנראה לי עומד בפני הביקורת הספציפית הזו ואנחנו דנים בו ברגעים אלה ממש. תגובה 317476.
1 בהתאם להנחיות האקדמיה...תגובה 317633
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש