تورینگ

تورینگ

معنی کلمه تورینگ در دانشنامه عمومی

تورینگ (زبان برنامه نویسی). تورینگ یک زبان برنامه نویسی شبیه پاسکال است که در ۱۹۸۲ توسط Ric Holt و James Cordy در دانشگاه تورنتوی کانادا ایجاد شد. زبان تورینگ تأثیر گرفته از زبان های Euclid، پاسکال و SP/K می باشد که از ویژگی های این زبان، نحو واضح و روشن، همچنین دارا بودن معانی وابسته به ماشین به شکل مختصر و مفید است.
نام این زبان از نام آلن تورینگ دانشمند علوم کامپیوتر اهل بریتانیا گرفته شده است. از زبان تورینگ به طور عمده به عنوان یک زبان آموزشی در سطح دبیرستان و دانشگاه استفاده می شود. دو نسخه دیگر Object - Oriented turing و Turing plus برای سیستم های مختلف برنامه نویسی به وجود آمدند. در سپتامبر ۲۰۰۱، Object - Oriented Turing به Turing تغییر نام داد و زبان اصلی Turing نیز Classic Turing نامیده شد. تورینگ پس از مدتی دیگر توسط «شرکت نرم افزاری هولت» حمایت نشد. در حال حاضر مایکروسافت ویندوز تنها پلت فرمی است که از این زبان حمایت می کند. تورینگ در ابتدا به طور گسترده در دبیرستان های Ontario به عنوان مقدمه ای برای برنامه نویسی استفاده می شد.
در ۲۸ نوامبر ۲۰۰۷، زبان تورینگ که قبلاً یک زبان برنامه نویسی تجاری بود، نرم افزاری رایگان شدکه از وبسایت توسعه دهندگان آن قابل بارگیری است و بدون پرداخت هزینه ای می توان از آن برای مصارف شخصی، تجاری و آموزشی استفاده کرد.
سازندگان تورینگ، یعنی شرکت نرم افزاری هولت، از آن روز دست از کار کشیده اند. معلوم نیست آیا تورینگ هنوز در حال توسعه است یا نه، اما هیچ انتشار جدیدی از ۲۵ نوامبر ۲۰۰۷ نداشته است.
تورینگ طوری طراحی شده است که دارای نحو بسیار ساده، خوانا و همچنین قابل درک به صورت مستقیم و شهودی باشد. اینجا برنامه Hello World! در زبان تورینگ به طور کامل آمده است:
put "Hello World!" زبان تورینگ از سمی کالن و آکولاد اجتناب می کند و در عوض از نشانه های صریح end برای بیشتر ساختارهای زبان استفاده می کند و در اینجا یک برنامهٔ کامل با استفاده از تعریف سنتی تابع بازگشتی برای محاسبه فاکتوریل آورده شده است:
% Accepts a number and calculates its factorial function factorial ( n: int ) : real if n = 0 then result 1 else result n * factorial ( n - 1 ) end if end factorial var n: int loop put "Please input an integer: " . . get n exit when n> = 0 put "Input must be a non - negative integer. " end loop put "The factorial of ", n, " is ", factorial ( n ) پیاده سازی باز در حال حاضر، دو پیاده سازی open source جایگزین وجود دارد، یکی Tplus که یک کامپایلر محلی برای زبان برنامه نویسی سیستم های همزمان Turing plus است و دیگری OpenT که یک سیستم جدید است که در حال حاضر در حال توسعه است.

جملاتی از کاربرد کلمه تورینگ

روشهای مختلفی برای القای هیپوترمی وجود دارند مانند پتوهای خنک‌کننده، قرار دادن کیسه‌های یخ روی بدن و مخصوصاً در مجاورت وریدها و شریانهای بزرگ، انفوزیون سرم نرمال سالین سرد و… که همگی باید همراه با مانیتورینگ کامل انجام شوند.انفوزیون نرمال سالین یا رینگر لاکتات سرد به میزان ۳۰ الی ۵۰ سی سی در کیلوگرم انجام می‌شود.
الگوهای تورینگ همچنین می توانند در اپتیک غیرخطی ایجاد شوند همانطور که با معادله لوجیاتو-لفور نشان داده شده است.
اسکی‌تورینگ معمولاً انتخاب اسکی‌بازانی است که به‌دنبال برف تازه هستند و همین‌طور آنهایی که می‌خواهند در کوهنوردی از اسکی استفاده کنند. این روش همچنین امکان اسکی‌کردن بدون پرداخت هزینه‌های نسبتاً بالای اسکی آلپاین معمولی در پیست‌های اسکی را فراهم می‌کند. این رشته نیاز به ترکیبی از مهارت‌های کوهنوردی و اسکی دارد و اغلب شامل مسیریابی در مناطق مستعد بهمن است.
با این وجود، آزمون تورینگ به عنوان اندازه گیری «توانایی فکر کردن» یک ماشین یا «هوش» آن پیشنهاد شده است. این پیشنهاد هم از سوی فیلسوفان و هم از سوی دانشمندان کامپیوتر انتقاداتی دریافت کرده است. فرض بر این است که یک بازجو می تواند تعیین کند که آیا یک ماشین با مقایسه رفتارش با رفتار انسان «تفکر» می کند یا نه. هر عنصری از این فرض مورد پرسش قرار گرفته است: قابلیت اطمینان بودن قضاوت بازپرس، ارزش مقایسه تنها رفتار و ارزش مقایسه ماشین با یک انسان. به دلیل این ملاحظات و ملاحظات دیگر، برخی از محققان هوش مصنوعی ارتباط آزمون با حوزه خود را زیر سؤال بردند.
مقاله تورینگ ۹ مورد عمده را در نظر گرفت که شامل تمام استدلال های علیه هوش مصنوعی است که در سال های پس از انتشار مقاله مطرح شده است (رجوع کنید به "ماشینآلات محاسباتی و هوش"). [6]
آزمون تورینگ روشی برای سنجش میزان هوشمندی ماشین است. آزمون به این صورت انجام می‌گیرد که یک شخص به عنوان آزمایشگر، با یک ماشین و یک انسان به گفتگو می‌نشیند، و سعی در تشخیص ماشین از انسان دارد. در صورتی که ماشین بتواند قاضی را به گونه‌ای بفریبد که در قضاوت خود دچار اشتباه شود، توانسته‌است آزمون را با موفقیت پشت سر بگذارد. برای اینکه تمرکز آزمون بر روی هوشمندی ماشین باشد، و نه توانایی آن در تقلید صدای انسان، مکالمه تنها از طریق متن و صفحه کلید و نمایشگر کامپیوتر صورت می‌گیرد.
کاد در سال ۱۹۸۱ موفق به اخذ جایزه تورینگ شد. جایزه‌ای که آن را معادل جایزه نوبل برای علم رایانه می‌دانند.
او با معرفی ماشین تورینگ، یک مدل ریاضی برای تحلیل توانایی‌های ذاتی الگوریتم‌ها بنیان گذاشت. برای همین، ماشین تورینگ یکی از عناصر اصلی در نظریه محاسبات و نظریه پیچیدگی محاسباتی است.
به دلیل آنکه تورینگ اول این آزمایش را معرفی کرد، اثبات شده‌است که هم بسیار بانفوذ و هم بسیار انتقادی است، و به یک مفهوم مهم در فلسفه هوش مصنوعی تبدیل شده‌است. بعضی از این انتقادات، مثل اتاق چینی جان سرل، خودشان بحث‌برانگیز هستند.
بونتی برای انتخاب مجدد در سال۱۹۷۸ کاندید نشد و کمیتهٔ دموکرات شهر تورینگتو، میسیکوسکی را تأیید کرد. میسیکوسکی جانشین وی در مجلس ایالتی، انتخاب شد.