בתשובה לשוטה הכפר הגלובלי, 05/12/06 13:47
השפעת קרני השמש על קרני התיש 423156
יש הרבה הגדרות מקובלות לאלגוריתמים. דרישת עצירה היא דרישה סבירה מרוב האלגוריתמים הבסיסיים (קבל קלט-בצע עליו חישוב כלשהו-החזר את תוצאת החישוב). ההגדרה הכללית יותר של אלגוריתם היא ''משהו שמכונת טיורינג עושה'', ואז הוא לא חייב לעצור.
השפעת קרני השמש על קרני התיש 423184
בההגדרה הזאת אני ממש לא רוצה להשתמש, כי היא *באמת* הופכת את הטיעון שלי למעגלי: אם האדם הוא מכונת טיורינג, ברור שאין לו בחירה חופשית.
השפעת קרני השמש על קרני התיש 423199
זו בעיה משמעותית, כי אז אתה באמת צריך למצוא הגדרה טובה *מאוד* לאלגוריתם - בפרט הגדרה כזו שתהיה כללית יותר מזו של מכונת טיורינג. כלומר, אתה צריך להגדיר אלגוריתם בתור משהו שייתכן שמכונת טיורינג לא יכולה לעשות - ובכך להגיד שהתזה של צ'רץ' וטיורינג לא נכונה. בהצלחה עם זה. לחילופין, אולי עדיף לא להשתמש במילה "אלגוריתם".
השפעת קרני השמש על קרני התיש 423207
כן, אני הולך ומגיע למסקנה שהמילה הזאת מפריעה יותר משהיא עוזרת כאן. הבה נשכח ממנה.

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

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