কম্পিউটার বিজ্ঞানে অ্যালান টুরিংয়ের অবদান


34

(তাত্ত্বিক) কম্পিউটার বিজ্ঞানের অন্যতম পথিকৃত অ্যালান টিউরিং আমাদের ক্ষেত্রে টুরিং মেশিন সংজ্ঞা, চার্চ-টুরিং থিসিস, অনির্বাচিততা এবং ট্যুরিং পরীক্ষা সহ অনেকগুলি চূড়ান্ত বৈজ্ঞানিক অবদান রেখেছিলেন। তবে তাঁর গুরুত্বপূর্ণ আবিষ্কারগুলি আমি তালিকাভুক্তদের মধ্যে সীমাবদ্ধ নয়।

তাঁর 100 তম জন্মদিনের সম্মানে আমি ভেবেছিলাম কম্পিউটার বিজ্ঞানের ক্ষেত্রে তাঁর গুরুত্বপূর্ণ অবদানগুলির আরও একটি সম্পূর্ণ তালিকা চাইতে ভাল লাগবে, যাতে তাঁর কাজের আরও ভাল প্রশংসা করতে পারে।

সুতরাং, কম্পিউটার বিজ্ঞানে অ্যালান টুরিংয়ের গুরুত্বপূর্ণ / প্রভাবশালী অবদানগুলি কী কী?


2
এই মত কিছু কিউ চাই তবে এই ফোরামটি এক স্তরে অ্যাপপ্রোস বলে মনে হচ্ছে তবে বিদ্রূপজনকভাবে এটি সেরা জায়গা নয়। সমস্যাটি হ'ল, অনিবার্যভাবে, গবেষণার স্তর সিএস তার দশকের দশকগুলিতে যেভাবে অবদান রেখেছিলেন তার থেকেও অবিচ্ছিন্নভাবে প্রসারিত / অগ্রসর হয়েছে। সুতরাং এখানে একটি টিউরিং ইতিহাস সম্পর্কিত প্রশ্নটি খুব যত্ন সহকারে শব্দযুক্ত করতে হবে fit আপনি ইতিমধ্যে প্রশ্নটিতে তার প্রধান অবদানগুলি তালিকাভুক্ত করেছেন, তবে এর উত্তর দেওয়ার কী বাকি আছে? তালিকা অবদান নেই? এগুলি কিছুটা অস্পষ্ট এবং গুরুত্বপূর্ণ হিসাবে গুরুত্বপূর্ণ হবে না ...
vzn

1
টিউরিং মেশিনগুলি সিএস-এর পরবর্তী সময়ে অটোমেটা মডেল তৈরিতে প্রভাবিত করেছিল কিনা সে সম্পর্কে এই সম্পর্কিত কিউ / এও দেখুন । জেফির বর্তমান সর্বাধিক রেটেড উত্তর উল্লেখযোগ্যভাবে জোর দিয়েছিল যে এখানে কোনও thereতিহাসিক সংযোগ ছিল না , অর্থাৎ পরবর্তীকালে গবেষকরা কী সিএস অটোমাতা মডেলগুলি আবিষ্কার করেছিলেন
vzn


1
পয়েন্টার জন্য ধন্যবাদ। বিটিডব্লু, আমি ভেবেছিলাম যে আমরা এই বিষয়ে একমত হয়েছি যে এই সাইটের জন্য টিসিএসের ইতিহাস বিষয় রয়েছে, তাই ট্যাগ। টুরিংয়ের অন্যান্য অবদানের ক্ষেত্রে, সম্ভবত কিছু এখনও গুরুত্বপূর্ণ, কেবল বিশ্ব-পরিবর্তন নয়।
লেভ রেইজিন

উত্তর:


16

এই প্রশ্নটি অনেকটা ফিজিক্সে নিউটনের অবদান জিজ্ঞাসা করার মতো, বা ডারউইনের জীববিজ্ঞানে অবদানের জন্য! যথা যে বিরাট অবদান যে সবাই জানে ছাড়া আরও ছোট অবদান প্রচুর যে অধিকাংশ লোক আছেন: যাইহোক, প্রশ্ন যে অনেক মন্তব্যকারী ইতিমধ্যে গ্রস্ত হয়েছে একটি আকর্ষণীয় দিক হলো না সম্পর্কে --- সেইসাথে অনেক অর্ন্তদৃষ্টি জানি যে আমরা আরও "আধুনিক" হিসাবে বিবেচনা করি তবে টুরিং বিভিন্ন মন্তব্যে প্রমাণ করেছিলেন যে তিনি পুরোপুরি ভালভাবে বুঝতে পেরেছিলেন। (ঘটনাক্রমে, নিউটন এবং ডারউইনের ক্ষেত্রেও একই অবস্থা))

আমি পছন্দ করি কয়েকটি উদাহরণ (পূর্বে উল্লিখিতগুলি ছাড়াও):

"কম্পিউটিং মেশিনারি অ্যান্ড ইন্টেলিজেন্স"-এ, ট্যুরিংয়ের মধ্যে এলোমেলোভাবে অ্যালগরিদমের সুবিধা সম্পর্কে একটি আধুনিক আলোচনা অন্তর্ভুক্ত রয়েছে:

    একটি লার্নিং মেশিনে এলোমেলো উপাদান অন্তর্ভুক্ত করা সম্ভবত বুদ্ধিমানের কাজ। যখন আমরা কিছু সমস্যার সমাধান অনুসন্ধান করি তখন একটি এলোমেলো উপাদান বরং দরকারী। ধরুন উদাহরণস্বরূপ আমরা 50 এবং 200 এর মধ্যে একটি সংখ্যা খুঁজে পেতে চেয়েছিলাম যা এর অঙ্কগুলির যোগফলের বর্গক্ষেত্রের সমান হয়, আমরা শুরু করতে পারি 51 এবং তারপরে 52 চেষ্টা করে আমরা কাজ করে এমন একটি সংখ্যা না পাওয়া পর্যন্ত চালিয়ে যেতে পারি। বিকল্পভাবে আমরা এলোমেলোভাবে নম্বরগুলি চয়ন করতে পারি যতক্ষণ না আমরা একটি ভাল নম্বর পাই। এই পদ্ধতির সুবিধা রয়েছে যে চেষ্টা করা মূল্যবোধগুলি ট্র্যাক করা অপ্রয়োজনীয়, তবে যে অসুবিধা যে একই কারণে দু'বার একই চেষ্টা করতে পারে, তবে বেশ কয়েকটি সমাধান থাকলে এটি খুব গুরুত্বপূর্ণ নয়। পদ্ধতিগত পদ্ধতির অসুবিধা হ'ল এই অঞ্চলে কোনও সমাধান ছাড়াই প্রচুর ব্লক হতে পারে যা প্রথমে তদন্ত করতে হবে, এখন শেখার প্রক্রিয়াটি এমন এক ধরনের আচরণের সন্ধান হিসাবে বিবেচিত হতে পারে যা শিক্ষককে সন্তুষ্ট করবে (বা অন্য কোনও মানদণ্ড)। যেহেতু সম্ভবত খুব বড় সংখ্যক সন্তোষজনক সমাধান রয়েছে তাই এলোমেলো পদ্ধতিটি সিস্টেমেটিকের চেয়ে ভাল বলে মনে হয়। এটি লক্ষ করা উচিত যে এটি বিবর্তনের আনুষঙ্গিক প্রক্রিয়াতে ব্যবহৃত হয়।

টুরিং স্পষ্টতই প্রথম ব্যক্তি যিনি রিমন হাইপোথেসিসের প্রতিরূপ অনুসন্ধানের জন্য ডিজিটাল কম্পিউটার ব্যবহার করেছিলেন - এখানে দেখুন

টুরিং এর 1939 পিএইচডি থিসিস (লেভ Reyzin উল্লেখ) থেকে প্রযুক্তিগত ফলাফল এছাড়া যে থিসিস ধারণার প্রবর্তন জন্য অত্যন্ত উল্লেখযোগ্য ওরাকেল এবং relativization computability তত্ত্ব মধ্যে। (কিছু লোক আশা করতে পারেন যে টুরিং কখনই এটি করেন নি, তবে আমি তাদের মধ্যে একজন নই! :- ডি)

অবশেষে, যদিও এটি মৌলিক, এটি এখনও কেউ সর্বজনীন টুরিং মেশিনের অস্তিত্বের প্রমাণ উল্লেখ করেনি --- এটি টুরিং মেশিনের মডেল সংজ্ঞায়িত করা, চার্চ-টুরিং থিসিস প্রণয়ন করা, বা এর অবিশ্বাস্যতা প্রমাণের থেকে একটি স্বতন্ত্র অবদান এন্টেসিডেংস্প্রোব্লম, তবুও কম্পিউটার বিপ্লব চলাকালীন যে কোনওটির পক্ষে সবচেয়ে যুক্তিসঙ্গতভাবে "যুক্তিসঙ্গতভাবে" প্রাসঙ্গিক।


27

এগুলি আমি সম্প্রতি জানতাম না।

1) একটি ম্যাট্রিক্সের LU পচে যাওয়া টুরিংয়ের কারণে! LU পচন কতটা মৌলিক তা বিবেচনা করে, এটি এমন একটি অবদান যা হাইলাইট এবং আরও ব্যাপকভাবে পরিচিত হওয়ার উপযুক্ত (1948)।

2) টিউরিং প্রথম দাবা জন্য একটি "কাগজ অ্যালগরিদম" নিয়ে আসে। এই মুহুর্তে, প্রথম ডিজিটাল কম্পিউটারগুলি এখনও নির্মিত হয়েছিল (1952)।

দাবা প্রোগ্রামিং এর সাথে জড়িত এক প্রশংসিত লোক রয়েছে, শ্যানন, টুরিং, হার্ব সাইমন, কেন থম্পসন ইত্যাদি। শেষ দুজন টুরিং অ্যাওয়ার্ড জিতেছিলেন। এবং সিমোম অবশ্যই নোবেল জিতেছে। (শানন 1948 সালে দাবা অবস্থানের মূল্যায়ন করার উপায় নিয়ে এসেছিলেন।)


4
আমি LU পচন ফলাফল সম্পর্কে জানতাম না। চমৎকার ! রেফারেন্স আছে কি?
সুরেশ ভেঙ্কট

2
সুরেশ, আমি এলইউ পচে যাওয়ার রেফারেন্স যুক্ত করেছি।
ভি বিনয়

1
এটা সত্য নয় যে টুরিং প্রথম দাবা প্রোগ্রামটি লিখেছিলেন, এই সম্মানটি প্রথম কম্পিউটারের উদ্ভাবক কনরাদ জুসে যাবেন বলে মনে হয় । তিনি প্রথম প্লাস্কালকুয়েল , প্রথম উচ্চ-স্তরের প্রোগ্রামিং ভাষা, এর মানদণ্ড হিসাবে একটি সহজ দাবা প্রোগ্রাম 'কাগজে' লিখেছিলেন । দেখুন এখানে এবং এখানে । দুঃখিত, এই কাজের কোনও ভাল ইংরেজি ভাষার বিবরণ উপস্থিত নেই বলে মনে হচ্ছে।
মার্টিন বার্গার

21

প্রশ্নে উল্লিখিত হিসাবে, ট্যুরিং অ্যালগরিদম এবং গণনা সংজ্ঞায়নের কেন্দ্রবিন্দু ছিলেন, সুতরাং তিনি সেই লোকদের মধ্যে একজন ছিলেন যা আলগোরিদিম লেন্সগুলি একত্রিত করতে সহায়তা করেছিল। যাইহোক, আমি মনে করি তার সবচেয়ে বড় অবদানটি অ্যালগরিদমিক লেন্সের মাধ্যমে বিজ্ঞানকে দেখানো ছিল এবং কেবল গণনার প্রয়োজনে গণনা করা হয়নি।

ডাব্লুডাব্লু টু-র সময় টিউরিং গণনা এবং ইলেক্ট্রো-মেকানিকাল (মানুষের বিপরীতে) কম্পিউটারের ধারণাটি ট্যুরিং – ওয়েলচম্যান বোম্ব এবং অন্যান্য সরঞ্জাম এবং ক্রিপ্টো-বিশ্লেষণ করার জন্য আনুষ্ঠানিক কৌশল তৈরিতে সহায়তা করে । তিনি ক্রিডোলজি, শিল্প-রূপের, ক্রিপ্টোগ্রাফি, বিজ্ঞানে রূপান্তর শুরু করেছিলেন, যা ক্লোড শ্যানন সম্পন্ন করেছিল। অ্যালগরিদমিক লেন্সগুলির মাধ্যমে অ্যালান টুরিং ক্রিপ্টোলজি দেখেছিলেন।

1948 সালে, টুরিং প্রথম শেখার কৃত্রিম নিউরাল নেটওয়ার্ক তৈরি করতে মস্তিষ্কে তার আগ্রহ অনুসরণ করেছিলেন । দুর্ভাগ্যক্রমে তাঁর পান্ডুলিপিটি এনপিএলের পরিচালক প্রত্যাখ্যান করেছিলেন এবং প্রকাশিত হয়নি (1967 অবধি)। তবে, এটি হিব্বীয় শেখার (1949) এবং রোজেনব্ল্যাটের পারসেপ্ট্রন (1957) উভয়েরই পূর্বাভাস দিয়েছে যে আমরা সাধারণত প্রথম স্নায়বিক নেটওয়ার্ক হওয়ার সাথে যুক্ত ছিলাম। টিউরিং সংযোগবাদের ভিত্তি (পূর্ববর্তীতে জ্ঞানীয় বিজ্ঞানের একটি বৃহত দৃষ্টান্ত) এবং গণনামূলক নিউরোসায়েন্সের প্রাকদর্শন করে। অ্যালগরিদমিক লেন্সের মাধ্যমে অ্যালান টুরিং মস্তিষ্ক দেখেছিলেন।

1950 সালে, টুরিং তার বিখ্যাত কম্পিউটিং যন্ত্রপাতি ও বুদ্ধি প্রকাশ করেছিলেন এবং এআই চালু করেছিলেন। এটি মনোবিজ্ঞান এবং জ্ঞানীয় বিজ্ঞানের উপর একটি রূপান্তরকৃত প্রভাব ফেলেছিল যা অনুভূতিটিকে অভ্যন্তরীণ উপস্থাপনায় গণনা হিসাবে দেখছে। অ্যালগরিদমিক লেন্সের মাধ্যমে অ্যালান টুরিং মনকে দেখেছিলেন।

অবশেষে ১৯৫২ সালে (যেমন @ ভিজএন উল্লেখ করেছেন) টিউরিং প্রকাশিত কেমিক্যাল বেসিস অফ মরফোজেনেসিস। এটি তাঁর সবচেয়ে উদ্ধৃত রচনা হয়ে দাঁড়িয়েছে। এতে তিনি প্রশ্নটি (এবং উত্তর দিতে শুরু করলেন): মরফোজেনগুলির প্রতিসাম্য সংরক্ষণের রাসায়নিক প্রসারণের ক্রিয়াকলাপে কীভাবে একটি গোলাকারভাবে প্রতিসাম্যিক ভ্রূণ একটি গৌরবহীন প্রতিসামান্য জীবের মধ্যে বিকশিত হয়? এই গবেষণাপত্রে তার পদ্ধতিটি খুব পদার্থবিজ্ঞান-ওয়াই ছিল, তবে কিছু পদ্ধতির টিসিএসের বায়ু ছিল; তাঁর কাগজটি নির্দিষ্ট (কিছু ক্ষেত্রে: পরিমাপে অসম্ভব অসম্ভব) ধ্রুবক এবং পরামিতিগুলির উপর ভিত্তি করে পরিমাণগত বিবৃতিগুলির পরিবর্তে কঠোর গুণগত বক্তব্য (বিভিন্ন ধ্রুবক এবং পরামিতিগুলির জন্য বৈধ) দেয়। মৃত্যুর অল্প সময়ের আগে, তিনি কৃত্রিম জীবনের অনুকরণ কী হতে হবে তার মূল ধারণা এবং জীববিজ্ঞানের আরও জটিল এবং অ-ডিফারেনশিয়াল-সমীকরণের চিকিত্সা নিয়ে কাজ করে এই গবেষণা চালিয়ে যাচ্ছিলেন। একটি ব্লগ পোস্টেআমি যদি অনুমান করি যে আরও সময় পেলে তিনি কীভাবে জীববিজ্ঞানের বিকাশ করবেনঅ্যালগরিদমিক লেন্সের মাধ্যমে অ্যালান টুরিং জীববিজ্ঞান দেখতে শুরু করেছিলেন।

আমি মনে করি কম্পিউটার বিজ্ঞানের ক্ষেত্রে টিউরিংয়ের বৃহত্তম (এবং প্রায়শই উপেক্ষা করা) অবদান দেখিয়েছিল যে আমরা অ্যালগরিদমিক লেন্সের মাধ্যমে বিজ্ঞান দেখে দুর্দান্ত অন্তর্দৃষ্টি জাগাতে পারি। আমি কেবল আশা করতে পারি যে তাঁর কাজ চালিয়ে যাওয়ার মাধ্যমে আমরা তাঁর বংশের সম্মান করব।


সম্পর্কিত প্রশ্নগুলি



11

১৯৮৯ সালে কেমব্রিজের একটি সম্মেলনে ফ্লোয়েড এবং হোয়ারের প্রায় দুই দশক ধরে যে প্রোগ্রামগুলি তৈরি হয়েছিল, সে সম্পর্কে আনুষ্ঠানিক যুক্তি প্রকাশিত হয়েছিল, একটি বড় রুটিন চেক করার বিষয়ে টিউরিংয়ের গবেষণাপত্রটি । কাগজটি কেবল তিন পৃষ্ঠার দীর্ঘ এবং এতে প্রোগ্রামের বৈশিষ্ট্য প্রমাণ করার জন্য আক্রমণকারীদের ব্যবহার এবং সমাপ্তি প্রমাণের জন্য সু-প্রতিষ্ঠিত ধারণা রয়েছে।

এটি সঠিক তা নিশ্চিত করার অর্থে কীভাবে একজন রুটিন পরীক্ষা করতে পারেন?

যাতে পরীক্ষা করা লোকটির পক্ষে খুব কঠিন কোনও সমস্যা না ঘটে সে জন্য প্রোগ্রামারকে এমন অনেকগুলি নিশ্চিত মন্তব্য করতে হবে যা পৃথকভাবে যাচাই করা যেতে পারে এবং যা থেকে পুরো প্রোগ্রামটির যথার্থতা সহজেই অনুসরণ করা যায়।


তাই টুরিং উদ্ভাবিত ইউনিট পরীক্ষাটি :)
লেভ রেইজিন

1
সেই কাগজে নেই। তিনি কার্যকরী সঠিকতা এবং সমাপ্তি প্রমাণের জন্য একটি স্থিতিশীল পদ্ধতি উপস্থাপন করছেন।
বিজয় ডি

7

টিউরিং আগ্রহী ছিল এবং রাসায়নিক বিক্রিয়া-প্রসারণ নিদর্শনগুলিতে কিছু চূড়ান্ত কাজ করেছিল। তিনি অনুসন্ধান শুরু করার পর থেকেই এই গবেষণার ক্ষেত্রটি যথেষ্ট প্রসারিত হয়েছে। এটি কম্পিউটারের সাথে সম্পর্ক স্থাপন করে দেখানো হয়েছে যেমন একটি অর্থে "টিউরিং সম্পূর্ণ" [1]। রাসায়নিক বিক্রিয়াকে জটিল ননলাইনারি ডিফারেনশিয়াল সমীকরণের সাথে মডেল করা যায় তাই এক অর্থে এটি দেখানো হয়েছে যে পর্যাপ্ত জটিলতার সাথে অরৈখিক ডিফারেনশিয়াল সমীকরণ টুরিং মেশিনগুলি অনুকরণ করতে পারে। তার ১৯৫১ সালের কাগজ "মরফোজেনেসির রাসায়নিক ভিত্তি" থেকে উদ্ভূত [৪]

[1] রাসায়নিক গতিবিদ্যা পিআরএল 97-এ ম্যাগনাসকো দ্বারা টুরিং সর্বজনীন

[২] সাধারণ রাসায়নিক বিক্রিয়ায় কাঠামোগত টুরিং

[3] ফ্রাঞ্জের ননলাইনার ক্রস বিস্তারের সাথে রৈখিক রাসায়নিক বিক্রিয়া সিস্টেমগুলিতে ট্যুরিং প্যাটার্ন

[৪] মরফোজিজনেসের রাসায়নিক ভিত্তি, উইকিপিডিয়া


5

স্কট অ্যারনসনের ব্লগে আমি এখানে আরও একটি পেয়েছি (এবং Q + A সেখান থেকে নেওয়া হয়েছে):

এফα

এমএফαএম

টুরিং প্রমাণিত:

এমএফω+ +1এম

দুর্ভাগ্যক্রমে, সংজ্ঞাগুলি এবং প্রযুক্তিগত বিবরণগুলি সংক্ষিপ্ত করা আরও শক্ত, তবে লিঙ্কযুক্ত লিখিত ব্লগ তাদের ব্যাখ্যা করার জন্য একটি ভাল কাজ করে।


1

এখানে একটি বিস্তৃত, অত্যন্ত গবেষণা / 9p বিস্তারিত অনলাইন জরিপ / 100 তম বার্ষিকী, জন্য এসবির কুপার আমেরিকান গাণিতিক সোসাইটির নোটিশ মধ্যে টুরিং এর নির্দিষ্ট ভূতাপেক্ষ এবং আরও সাধারণ / longrange অবদান হল Incomputability এলান টুরিং পর । এই সমীক্ষায় উল্লিখিত আরও কিছু অবদান:

  • ম্যাট্রিক্স প্রসেস পেপারে রাউন্ডিং-অফ ত্রুটি , 1948. গণনা তত্ত্বের সংখ্যা বিশ্লেষণ এবং বৈজ্ঞানিক গণনার ক্ষেত্রে প্রভাবশালী

  • অপ্রকাশিত 1948 ন্যাশনাল ফিজিক্যাল ল্যাবরেটরি রিপোর্ট ইন্টেলিজেন্ট মেশিনারি একটি প্রারম্ভিক সংযোগবাদী মডেল বর্ণনা করেছে , যা বিখ্যাত ম্যাককুলাচ এবং পিটস নিউরাল জালের সাথে একই রকম এবং সমকালীন ।

  • আউট টুরিং এর বিশ্লেষণ এবং তত্ত্ব পয়েন্ট morphogenesis ব্যাপক (এবং এখনো চলমান / সক্রিয়) পরে এই তত্ত্বটা প্রথম বুদ্ধিজীবী ভিত্তি হিসেবে গণ্য করা যেতে পারে স্ব-সংগঠন এবং উত্থানশীল ঘটনা

(ইত্যাদি)


সবেমাত্র লক্ষ্য করা গেছে কুপার ও লিউউইনের একটি বিস্তৃত নতুন বই রয়েছে: অ্যালান টুরিং:
হুজ
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.