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