בתשובה להפונז, 13/02/13 9:38
QED - לא מה שחשבת שהוכחת 612478
צפריר כהן  (אתר) • בתשובה להפונז יום ד', 13/2/2013, 12:26
בקיצור: אין שום הוכחה שכל מודל חישוב אפשרי שקול למכונת טיורינג. הדבר היחידי שאנחנו יודעים הוא שכל מודל חישוב שאנחנו יכולים לממש או אפילו יכולים לתאר שקול לה. מכאן "מסיקים" באינדוקציה (של פיזיקאים) שכל מודל חישוב שקול לה.
QED - לא מה שחשבת שהוכחת 612481
הפונז • בתשובה לצפריר כהן יום ד', 13/2/2013, 12:52
סליחה על הניטפוק, אבל זה קצת נשמע כמו טאוטולוגיה, ''כל מודל חישוב שאנחנו יכולים לממש או אפילו יכולים לתאר שקול לה'', כאילו בזאת הגדרת מהו מודל חישוב.
QED - לא מה שחשבת שהוכחת 612482
צפריר כהן  (אתר) • בתשובה להפונז יום ד', 13/2/2013, 13:01
לא טאוטולוגיה (אבל לא משהו חכם במיוחד) - לכל מודל חישוב מעשי שהוצע, הודגם שהוא יכול להיות ממומש על ידי מכונת טיורינג.
QED - לא מה שחשבת שהוכחת 612486
אינקוגניטו • בתשובה לצפריר כהן יום ד', 13/2/2013, 16:33
לא נכון. מכונת טיורינג לא יכולה להנפיק סדרה אקראית ויש מכשירים ש(על פי התיאוריה הפיזיקלית) יכולים.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות