בתשובה לאח של אייל, 23/09/19 21:52
מהעשיתם ביום 20/9/19? 709636
זה פשוט לא נכון.
מכונת טיורינג, עבור אלגוריתם נתון (למעשה תיאור של מכונת טיורינג אחרת שמורצת על מכונת טיורינג אוניברסלית) לא מגבילה את גודל הקלט ויכולה להריץ את האלגוריתם על כל גודל של קלט, ובהנחה שהאלגוריתם תמיד עוצר, היא תעצור עבור קלט בכל גודל. לכל מחשב (קלאסי או קוונטי) יש מגבלה על גודל הקלט שהוא יכול להריץ, לפחות עבור אלגוריתמים מסויימים (אני מניח שחישוב זוגיות, למשל, ניתן לבצע במחשב קלאסי על כל גודל של קלט, אבל אלגוריתמים שדורשים שטח אחסון שתלוי בגודל הקלט, לא).
מהעשיתם ביום 20/9/19? 709637
הרשה לי לנסח את אחד המשפטים שכתבתי מחדש. אם יש לי מחשב עם משאבים של X ג'יגהבייט, אז היכולת העקרונית של מכונת טיורינג לרוץ על קלט של "יותר גדול מ X" היא ממש לא מעניינת. אם הפונז צריך לעבוד על קלט יותר גדול מ X אז הוא יקנה עוד דיסקים עד שזה יהיה לו יקר מדי או משעמם מדי.

בקריאה שניה של התגובה שלך אני לא חושב שיש ביננו הרבה מחלוקת, פשוט זה עניין של טעם. אם מישהו אומר לי "האם נכון להגיד שסרגל הוא ישר" אני לא אגיד לו "לא! ולו בגלל שישר זה צורה אידאלית שבכל רזולציה הנגזרת שלה היא אפס" - אלא אני אגיד לו "כן, עד כדי שגיאה קטנה"
מהעשיתם ביום 20/9/19? 709638
*לישר יש נגזרת קבועה, לא אפס. וואטאבר
מהעשיתם ביום 20/9/19? 709645
תשובה טהרנית: הוא לא ישר. הוא קטע.
מהעשיתם ביום 20/9/19? 709655
קטעים איתכם.

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים