|
||||
|
||||
כן, טענה מתמטית, הנוגעת למודל מכונת הטורינג, אם כי לפי צ'רץ' והרחבותיו, היא נוגעת לכל מודל חישובי ''טוב'' שאנחנו מכירים. אגב, אמרת ''אם לא, אז כן, אם כן, אז לא.'' סתירה. מש''ל. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |