מכונת טיורינג – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
נלקח מערך אחר. הרבה פעמים מופיע כקישור אדום, אז הוספתי פה משפט |
|||
שורה 10:
את המודל הציע [[אלן טיורינג]] בשנת [[1936]], טרם המצאת המחשב המודרני, כדי ליצור הגדרה [[מתמטיקה|מתמטית]] מדויקת של [[אלגוריתם]], או "תהליך מכני" חישובי.
[[שלמות טיורינג]] מוגדרת כיכולת הרצת אלגוריתמים הדומה למכונת טיורינג אוניברסלית (, למעט הזיכרון הסופי של התקן החישוב בו הוא שונה ממכונת טיורינג).
==רקע==
[[אלן טיורינג]] פיתח את מכונת טיורינג כ[[ניסוי מחשבתי]], בניסיון לזהות שאלות מתמטיות, שאינן ניתנות להכרעה ובכך להבדילן משאלות מתמטיות הניתנות להכרעה, שלגביהן [[משפט אי השלמות של גדל]] אינו תקף.
|