מבחן טיורינג – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 19:
במאמר בו מציג טיורינג את המבחן, הוא טוען לגביו שתי טענות עיקריות: א. שעלינו להתייחס לשאלה "האם מכונות יוכלו לעבור את המבחן" במקום לשאלה "האם מכונות יוכלו לחשוב". ב. שמכונות יעברו בעתיד את המבחן, כנראה בתוך כ-50 שנה מעת כתיבת המאמר.
טיורינג מציין במאמר שאין בנמצא הרבה טיעונים חיוביים על-מנת לתמוך בעמדותיו אלה, ותחת זאת הוא מציג התנגדויות רבות שניתן להעלות נגד טענותיו, ומשיב להן. בין ההתנגדויות העיקריות אותן מציג טיורינג:
* '''ההתנגדות המתמטית''' (''The Mathematical Objection'') - הטענה שיש להסיק מתוצאות מסוימות מ[[לוגיקה מתמטית|הלוגיקה המתמטית]], ובהן [[משפטי גדל]] ומשפטי ה[[כריעות|אי-כריעות]] של טיורינג עצמו, שהחשיבה האנושית בהכרח עושה משהו שהוא מעבר לחישובי (כלומר, משהו שלא יכול להיעשות ע"י [[מכונת טיורינג]]). זאת, כיוון שניתן להוכיח שמכונת טיורינג (או כל מכונה הפועלת עפ"י [[קבוצה סופית]] של חוקים) לא יכולה להנפיק את כל אמיתות המתמטיקה, ואילו אצל מתמטיקאים אנושיים לא ידוע על מגבלה כזו. בשנים האחרונות מתקיים דיון אקדמי בנוגע לתשובתו של טיורינג להתנגדות זו.{{הערה|Piccinini, G. (2003). [https://www.umsl.edu/~piccininig/Alan_Turing_and_Mathematical_Objection.pdf Alan Turing and the mathematical objection]. Minds and Machines, 13(1), 23-48.}}{{הערה|Copeland, B. J., & Shagrir, O. (2013). [https://oronshagrir.huji.ac.il/sites/default/files/oronshagrir/files/turing_versus_godel_on_computability_and_the_mind.pdf Turing versus Gödel on Computability and the Mind]}}{{הערה|Copeland's introduction to Chapter 12. In Copeland (2004), The Essential Turing, 465–471.}}
* '''ההתנגדות של [[עדה לאבלייס]]''' (''Lady Lovelace's Objection'') - הטענה כי מכונות לא יכולות להציג דבר מקורי משלהן, אלא רק למלא הוראות.
* '''התנגדויות הנוגעות ל[[תודעה]]''' (''Argument From Consciousness'') - התנגדויות המשתמשות בקיומה של התודעה כדי לטעון שמכונות לא יוכלו לבצע את מה שמבצעת החשיבה האנושית.
| |||