
Mebane T. Faber, Eric W. Richardson
"آلن تورینگ" (23 june 1912 -7june 1954) کار ریاضی دان بریتانیایی آلن تورینگ به عنوان شالوده و اساس کامپیوتر مطرح است .تعریف تورینگ (1937-1936) از قابلیت محاسبه (محاسبه پذیری) به عنوان پارادایم جدید در علم مطرح است . بحث ها و استدلال های او که پیرامون ایجاد هوش مصنوعی مطرح کرده است از مشهورترین و مورد مراجعه ترین مقالات...... هستند این مقالات که از بهترین های او هستند ، نقش و تاثیری را در قالب نظریات به خوبی نشان می دهند . نتایج کارهای تورینگ در خلال جنگ جهانی دوم در زمینه رمزگشایی و هم با استفاده طراحی کامپیوترهای دیجیتال جنبه های کاربردی تری یافت . براستی عبارت تورینگ برای کامپیوتر یعنی {دستگاه محاسبه گر جهانی واقعی } مرجعی برای عبارت {ماشین جهانی} وی در سال 1936نیز بوده است . ترکیب نظریه و کاربرد آن با یکدیگر که کار تورینگ با هیچ طبقه بندی تعارف {محض} یا کاربری تناسب نبود . زندگی تورینگ آمیزه ای از تضاد ها و تقابل های بسیار است .جدای از انگیزه های اجتماعی و سیاسی ، او در زمانی که به عنوان یک فرد غیر سیاسی تصور می شد و به عنوان یک انسان غیر عادی ، غیر سیاسی و...... از هر گناهی شناخته می شد به گروه و اندیشه های متمایل شده بود که در سود بازیابی نقش سلطه جویانه anglo-american. در ارتباطات علمی با آلمان ها بودند. موضوع ذهن : از میان همه ی علایق متضاد و متفاوتی که تورینگ داشت ، یک چیز همواره ثابت بود و آن شیفتگی و علاقه ی بیش از حد تورینگ به .... توصیف فعالیت های ذهن در مورد مسایل علمی بود . مدل محاسباتی را که تورینگ برای ذهن ترسیم کرد را می توان ظهور مجد د ماتر یالیسم در قرن بیستم به شمار اورد . به این دلیل که ماشین با حالت های گسسته را متناسب با توضیح حالت های ذهنی می دید . علاقه تورینگ به ماتریالیسم.... چندان اشکار نبود ، بلکه در نامه ای که در حدود سال 1932 به hodges نوشت اشکار تر شد . در آن نامه به ماهیت ....... ماده اشاره شده بود که بعد ها ادینگتون را نیز تحت تاثیر قرار داد و در آن اراده به عنوان تاثیر فیزیکی ناحیه ای از مغز تعبیر شده بود . این علاقه پس از مطالعه و برسی اصول موضوعه ی {فن نویمان } از مکانیک کوانتوم و هم چنین مطالعه ی {اصول ریاضیات راسل } که ازآن منطق آموخت و نیز تاثیری که از سوال مطرح شده بوسیله ی{هیلبرت}مطرح شده بود اتفاق افتاد . این سوال بوسیله ی هیلبرت طرح شد اما از سال ..... بواسطه ی کشف کورت گودل یعنی پیمان تصمیم پذیری گزاره های ریاضی تغییر شکل یافت ، که به شرح زیر است: " آیا روش یا روند همین و تعریف شده ای که در قضایای ریاضی به کار گرفته شود و شخص کند که اثبات پذیر هست یا نه وجود دارد" از بادین سئوال در سخنرانی پاکس نیوتن ریاضیدان دانشگاه کمبریج عنوان {entscheidungs problem}آشنا شد دشواری این سئوال در این جا بود که یک تعریف بی چون و چرا از مفهوم الگوریتم یا روند حل مسئله طلب می کرد.

Marco E. Allaix MD, Marco G. Patti MD (auth.), P. Marco Fisichella, Nathaniel J. Soper, Carlos A. Pellegrini, Marco G. Patti (eds.)