Alonzo Church
অ্যালনজো চার্চ (14ই জুন, 1903-11ই আগস্ট, 1995) একজন মার্কিন গণিতবিদ, কম্পিউটার বিজ্ঞানী, যুক্তিবিদ এবং দার্শনিক ছিলেন যিনি গাণিতিক যুক্তি এবং তাত্ত্বিক কম্পিউটার বিজ্ঞানের ভিত্তিতে বড় অবদান রেখেছিলেন। তিনি ল্যাম্বডা ক্যালকুলাস, চার্চ-টুরিং থিসিসের জন্য সবচেয়ে বেশি পরিচিত, যা এন্টশেইডংসপ্রোবলেম ("সিদ্ধান্ত সমস্যা"), ফ্রেজ-চার্চ সত্ত্ববিজ্ঞান এবং চার্চ-রসার উপপাদ্যের অমীমাংসিততা প্রমাণ করে। তিনি ভাষা দর্শনের উপরও কাজ করেছিলেন (উদাহরণস্বরূপ দেখুন। চার্চ 1970)। তাঁর ডক্টরাল ছাত্র অ্যালান টুরিংয়ের পাশাপাশি চার্চকে কম্পিউটার বিজ্ঞানের অন্যতম প্রতিষ্ঠাতা হিসাবে বিবেচনা করা হয়। লাইফ অ্যালনজো চার্চ 1903 সালের 14ই জুন ওয়াশিংটন, ডি. সি-তে জন্মগ্রহণ করেন, যেখানে তাঁর বাবা স্যামুয়েল রবিনস চার্চ ছিলেন শান্তির বিচারপতি এবং কলম্বিয়া জেলার পৌর আদালতের বিচারক। তিনি 1881 থেকে 1901 সাল পর্যন্ত মার্কিন যুক্তরাষ্ট্রের সিনেট গ্রন্থাগারিক অ্যালনজো ওয়েবস্টার চার্চের (1829-1909) নাতি এবং গণিত ও জ্যোতির্বিজ্ঞানের অধ্যাপক এবং জর্জিয়া বিশ্ববিদ্যালয়ের 6ষ্ঠ সভাপতি অ্যালনজো চার্চের প্রপৌত্র ছিলেন। একটি ছোট ছেলে হিসাবে, চার্চ একটি বিমান বন্দুক দুর্ঘটনায় আংশিকভাবে অন্ধ হয়ে গিয়েছিল। দৃষ্টিশক্তি কমে যাওয়ার কারণে তাঁর বাবা বিশ্ববিদ্যালয়ে তাঁর পদ হারানোর পর পরিবারটি পরে ভার্জিনিয়ায় চলে আসে। অ্যালনজো চার্চ নামে পরিচিত তাঁর চাচার সহায়তায় পুত্র কানেকটিকাটের রিজফিল্ডে বেসরকারী রিজফিল্ড স্কুল ফর বয়েজে পড়াশোনা করেন। 1920 সালে রিজফিল্ড থেকে স্নাতক হওয়ার পর চার্চ প্রিন্সটন বিশ্ববিদ্যালয়ে যোগ দেন, যেখানে তিনি একজন ব্যতিক্রমী ছাত্র ছিলেন। তিনি 1924 সালে লরেঞ্জ রূপান্তরের উপর তাঁর প্রথম গবেষণাপত্র প্রকাশ করেন এবং একই বছর গণিতে ডিগ্রি নিয়ে স্নাতক হন। তিনি স্নাতক কাজের জন্য প্রিন্সটনে থেকে ওসওয়াল্ড ভেব্লেন-এর অধীনে তিন বছরের মধ্যে গণিতে পিএইচডি অর্জন করেন। 1925 সালে তিনি মেরি জুলিয়া কুজিনস্কিকে বিয়ে করেন। এই দম্পতির তিনটি সন্তান ছিল, অ্যালনজো জুনিয়র (1929), মেরি অ্যান (1933) এবং মিলড্রেড (1938)। পিএইচডি করার পর তিনি শিকাগো বিশ্ববিদ্যালয়ে সংক্ষিপ্ত সময়ের জন্য প্রশিক্ষক হিসেবে শিক্ষকতা করেন। তিনি দুই বছরের জাতীয় গবেষণা ফেলোশিপ পেয়েছিলেন যা তাকে 1927-1928-এ হার্ভার্ড বিশ্ববিদ্যালয়ে এবং পরের বছর গটিঙেন বিশ্ববিদ্যালয় এবং আমস্টারডাম বিশ্ববিদ্যালয়ে যোগ দিতে সক্ষম করেছিল। তিনি 1929 থেকে 1967 সাল পর্যন্ত প্রায় চার দশক ধরে প্রিন্সটনে দর্শন ও গণিত পড়িয়েছিলেন। তিনি লস অ্যাঞ্জেলেসের ক্যালিফোর্নিয়া বিশ্ববিদ্যালয়ে দর্শন ও গণিতের ফ্লিন্ট অধ্যাপকের দায়িত্ব পালন করেছিলেন। তিনি 1962 সালে স্টকহোমে আইসিএম-এর পূর্ণাঙ্গ অধ্যক্ষ ছিলেন। তিনি 1969 সালে কেস ওয়েস্টার্ন রিজার্ভ বিশ্ববিদ্যালয়, 1985 সালে প্রিন্সটন বিশ্ববিদ্যালয় এবং 1990 সালে দ্য স্টেট ইউনিভার্সিটি অফ নিউ ইয়র্কের বাফেলো বিশ্ববিদ্যালয় থেকে তাঁর সম্মানে জন করকোরান আয়োজিত একটি আন্তর্জাতিক সিম্পোজিয়ামের সাথে সামঞ্জস্য রেখে সম্মানসূচক ডক্টর অফ সায়েন্স ডিগ্রি লাভ করেন। 1966 সালে তিনি ব্রিটিশ অ্যাকাডেমির (এফবিএ), 1967 সালে আমেরিকান অ্যাকাডেমি অফ আর্টস অ্যান্ড সায়েন্সেস এবং 1978 সালে ন্যাশনাল অ্যাকাডেমি অফ সায়েন্সেসের সংশ্লিষ্ট ফেলো নির্বাচিত হন। একজন গভীর ধর্মীয় ব্যক্তি, চার্চ প্রেসবিটারিয়ান গির্জার আজীবন সদস্য ছিলেন। 1995 সালের 11ই আগস্ট 92 বছর বয়সে তিনি মারা যান। প্রিন্সটন কবরস্থানে তাঁকে সমাহিত করা হয়। গাণিতিক কাজ চার্চ নিম্নলিখিত উল্লেখযোগ্য কৃতিত্বের জন্য পরিচিতঃ তাঁর প্রমাণ যে প্রথম-ক্রমের গাণিতিক তত্ত্বের স্বেচ্ছাচারী প্রস্তাবের সত্য নির্ধারণের জন্য একটি সিদ্ধান্ত পদ্ধতির জন্য জিজ্ঞাসা করা এন্টশেইডংসপ্রবলেম অনিবার্য। এটি চার্চের উপপাদ্য নামে পরিচিত। তাঁর ল্যাম্বডা ক্যালকুলাস আবিষ্কার। পিয়ানো গাণিতিক যে অনিশ্চিত তা প্রমাণ করার জন্য তাঁর ল্যাম্বডা ক্যালকুলাসের ব্যবহার। তাঁর বক্তব্য চার্চ-টুরিং থিসিস নামে পরিচিত। জার্নাল অফ সিম্বলিক লজিকের প্রতিষ্ঠাতা সম্পাদক হিসাবে, 1936 থেকে 1979 সাল পর্যন্ত 43 বছর ধরে এর পর্যালোচনা বিভাগ সম্পাদনা করেছেন। গাণিতিক যুক্তির ক্ষেত্রে তাঁর একটি বিশিষ্ট পাঠ্যপুস্তক, ইন্ট্রোডাকশন টু ম্যাথমেটিকাল লজিক। চার্চ-রসার উপপাদ্য ল্যাম্বডা ক্যালকুলাস তাঁর 1936 সালের গবেষণাপত্রে আবির্ভূত হয়েছিল যা এন্টশেইডংসপ্রোবলেমের অমীমাংসিততা দেখায়। এই ফলাফলটি থামানো সমস্যার উপর অ্যালান টুরিংয়ের কাজের আগে, যা যান্ত্রিক উপায়ে অমীমাংসিত একটি সমস্যার অস্তিত্বও প্রদর্শন করেছিল। চার্চের কাজের কথা শুনে, টুরিং সেই বছরের শেষের দিকে প্রিন্সটনে চার্চের অধীনে পিএইচডি চার্চ এবং টুরিং-এর জন্য ভর্তি হন, তারপর দেখান যে টুরিংয়ের থামার সমস্যায় ব্যবহৃত ল্যাম্বডা ক্যালকুলাস এবং টুরিং মেশিন ক্ষমতার সমতুল্য ছিল এবং পরবর্তীকালে বিভিন্ন বিকল্প "গণনার জন্য যান্ত্রিক প্রক্রিয়া" প্রদর্শন করেছিলেন। এর ফলে চার্চ-টুরিং থিসিস প্রকাশিত হয়। নির্দিষ্টকরণ থেকে স্বয়ংক্রিয়ভাবে একটি নিয়ন্ত্রক বাস্তবায়নের প্রচেষ্টা তাঁর ধারণাগুলি থেকে উদ্ভূত হয়। ল্যাম্বডা ক্যালকুলাস লিস্প এবং সাধারণভাবে কার্যকরী প্রোগ্রামিং ভাষার নকশাকে প্রভাবিত করেছিল। চার্চ এনকোডিং তাঁর সম্মানে নামকরণ করা হয়েছে। তাঁর সম্মানে 2015 সালে অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারি স্পেশাল ইন্টারেস্ট গ্রুপ ফর লজিক অ্যান্ড কম্পিউটশন (এসিএম সিগলগ), ইউরোপিয়ান অ্যাসোসিয়েশন ফর থিওরিটিক্যাল কম্পিউটার সায়েন্স (ইএটিসিএস), ইউরোপিয়ান অ্যাসোসিয়েশন ফর কম্পিউটার সায়েন্স লজিক (ইএসিএসএল) এবং কার্ট গোডেল সোসাইটি (কেজিএস) দ্বারা যুক্তি ও গণনায় অসামান্য অবদানের জন্য অ্যালনজো চার্চ অ্যাওয়ার্ড প্রতিষ্ঠিত হয়। এই পুরস্কারটি গত 25 বছরের মধ্যে প্রকাশিত ক্ষেত্রে অসামান্য অবদানের জন্য এবং টুরিং অ্যাওয়ার্ড, প্যারিস কানেলাকিস অ্যাওয়ার্ড বা গোডেল পুরস্কারের মতো অন্য কোনও বড় পুরস্কারের মাধ্যমে স্বীকৃতি পায়নি। দার্শনিক কাজ চার্চ ফ্রেজ-চার্চ সত্ত্ববিজ্ঞানের জন্যও পরিচিত, যা তিনি গটলব ফ্রেজের দার্শনিক ধারণার উপর ভিত্তি করে তৈরি করেছিলেন। তাঁর একাডেমিক কর্মজীবনের সময়কালে, চার্চ 31 জন ডক্টরাল ছাত্রের তত্ত্বাবধান করেছিলেন। তাঁদের মধ্যে অনেকেই গণিত, কম্পিউটার বিজ্ঞান এবং অন্যান্য একাডেমিক বিষয়ে বিশিষ্ট কর্মজীবনের নেতৃত্ব দিয়েছেন, যার মধ্যে রয়েছেন সি. অ্যান্থনি অ্যান্ডারসন, পিটার বি. অ্যান্ড্রুজ, জর্জ এ. বার্নার্ড, ডেভিড বার্লিনস্কি, উইলিয়াম ডব্লিউ. বুন, মার্টিন ডেভিস, আলফ্রেড এল. ফস্টার, লিওন হেনকিন, জন জি. কেমিনি, স্টিফেন সি. ক্লেইন, সাইমন বি. কোচেন, মরিস এল 'অ্যাবে, আইজাক ম্যালিৎজ, গ্যারি আর. মার, মাইকেল ও. রবিন, নিকোলাস রেসার, হার্টলি রজার্স জুনিয়র, জে বার্কলি রোজার, ডানা স্কট, রেমন্ড স্মুলিয়ান এবং অ্যালান টুরিং। চার্চ সরাসরি তত্ত্বাবধানকারীদের পাশাপাশি অন্যান্য গণিতবিদ এবং কম্পিউটার বিজ্ঞানীদের উপরও একটি বড় প্রভাব ফেলেছিল। হাস্কেল কারি, যিনি চার্চের ধারণাগুলিকে তরকারীর ধারণার সাথে প্রসারিত করেছিলেন, বলেছেন যে তাঁর একটি পাঠ্যপুস্তক, ইন্ট্রোডাকশন টু ম্যাথমেটিকাল লজিক (1944 সালে প্রথম প্রকাশিত), "সূক্ষ্ম নির্ভুলতার সাথে লেখা হয়েছিল যা সাধারণত লেখকের কাজকে চিহ্নিত করে।" গ্রন্থপঞ্জি বই অ্যালনজো চার্চ, ইন্ট্রোডাকশন টু ম্যাথমেটিকাল লজিক (1944) () অ্যালনজো চার্চ, দ্য ক্যালকুলি অফ ল্যাম্বডা-কনভার্শন (1941) () অ্যালনজো চার্চ, এ বিব্লিওগ্রাফি অফ সিম্বলিক লজিক, 1666-1935 () সি অ্যান্টনি অ্যান্ডারসন এবং মাইকেল জেলিনি, (সংস্করণ। ), লজিক, মিনিং অ্যান্ড কম্পিউটশনঃ এসেজ ইন মেমোরি অফ অ্যালনজো চার্চ () টাইলার বর্জ এবং হারবার্ট এন্ডারটন (সংস্করণ। ), দ্য কালেক্টেড ওয়ার্কস অফ অ্যালোনজো চার্চ (2019) (আইএসবিএন 978-0-262-02564-5) আরও দেখুন চার্চ-টুরিং-ডয়েশ নীতি কম্পিউটার বিজ্ঞানের অগ্রগামীদের উচ্চ-ক্রম যুক্তিবিজ্ঞান তালিকা Platonism#Modern প্লেটোনিজম ইউনিভার্সাল সেট নোটস রেফারেন্স এন্ডারটন, হারবার্ট বি., অ্যালোনজো চার্চঃ লাইফ অ্যান্ড ওয়ার্ক। দ্য কালেক্টেড ওয়ার্কস অফ অ্যালোনজো চার্চ, এমআইটি প্রেস, 2019-এর ভূমিকা। এন্ডারটন, হারবার্ট বি., ইন মেমোরিয়ামঃ অ্যালনজো চার্চ, দ্য বুলেটিন অফ সিম্বলিক লজিক, খণ্ড। 1, না। 4 (ডিসেম্বর 1995), পৃ. 486-488। ওয়েড, নিকোলাস, অ্যালনজো চার্চ, 92, থিওরিস্ট অফ দ্য লিমিটস অফ ম্যাথমেটিক্স (মৃত্যুসংবাদ), দ্য নিউ ইয়র্ক টাইমস, সেপ্টেম্বর 5,1995, পৃ. বি6। হজস, উইলফ্রেড, মৃত্যুসংবাদঃ অ্যালনজো চার্চ, দ্য ইন্ডিপেন্ডেন্ট (লন্ডন), সেপ্টেম্বর 14,1995। 1984 সালের 17ই মে উইলিয়াম অ্যাসপ্রে অ্যালনজো চার্চের সাক্ষাৎকার নেন। 1930-এর দশকে প্রিন্সটন গণিত সম্প্রদায়ঃ একটি মৌখিক-ইতিহাস প্রকল্প, প্রতিলিপি নম্বর 5। রোটা, জিয়ান-কার্লো, ফাইন হল তার স্বর্ণযুগেঃ পঞ্চাশের দশকের গোড়ার দিকে প্রিন্সটনের স্মৃতিচিহ্ন। এ সেঞ্চুরি অফ ম্যাথমেটিক্স ইন আমেরিকা, পার্ট 2, পিটার ডুরেন সম্পাদিত, এ. এম. এস হিস্ট্রি অফ ম্যাথমেটিক্স, ভলিউম 2, আমেরিকান ম্যাথমেটিকাল সোসাইটি, 1989, পৃ. এখানেও পাওয়া যাবে। বাইরের লিঙ্কগুলি প্রিন্সটন বিশ্ববিদ্যালয় গ্রন্থাগার, পাণ্ডুলিপি বিভাগ, দ্য অ্যালনজো চার্চ পেপার্স, 1924-1995: সহায়তা খুঁজে পাওয়া। দ্য জার্নাল অফ সিম্বলিক লজিকের জন্য চার্চের পর্যালোচনার একটি গ্রন্থপঞ্জি, প্রতিটি অ্যালোনজো চার্চের লিঙ্ক সহ, 92, থিওরিস্ট অফ দ্য লিমিটস অফ ম্যাথমেটিক্স নিউ ইয়র্ক টাইমস অবিচ্যুয়ারি OBITUARY: অ্যালোনজো চার্চ ফ্রম দ্য ইন্ডিপেন্ডেন্ট ইন মেমোরিয়ামঃ অ্যালোনজো চার্চ (1903-1995) ইরভিং এইচ. অ্যানেলিস, মডার্ন লজিক ভলিউম। 5, নং। 4 (1995)। স্মৃতিসৌধেঃ এইচ. বি. এন্ডারটনের অ্যালনজো চার্চ 1903-1995, দ্য বুলেটিন অফ সিম্বলিক লজিক খণ্ড। 1, নং 5 (1995)। 1903 জন্ম 1995 মৃত্যু 20 শতকের আমেরিকান গণিতবিদ আমেরিকান যুক্তিবিদ আমেরিকান প্রেসবিটারিয়ান গণনাযোগ্যতা তাত্ত্বিক প্রিন্সটন বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র হার্ভার্ড বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র প্রিন্সটন বিশ্ববিদ্যালয়ের অনুষদ ক্যালিফোর্নিয়া বিশ্ববিদ্যালয়, লস অ্যাঞ্জেলেস অনুষদ প্রিন্সটন কবরস্থানে দাফন ওয়াশিংটন, ডি. সি থেকে দার্শনিকরা ক্যালিফোর্নিয়া থেকে দার্শনিকরা নিউ জার্সি থেকে ওয়াশিংটন, ডি. সি থেকে গণিতবিদরা 20 শতকের আমেরিকান দার্শনিকরা ব্রিটিশ একাডেমির সংশ্লিষ্ট ফেলো