Henry M. Sheffer
হেনরি মরিস শেফার (1 সেপ্টেম্বর 1882-17 মার্চ 1964) একজন মার্কিন যুক্তিবিদ ছিলেন। জীবন ও কর্মজীবন শেফার ছিলেন পশ্চিম ইউক্রেনে জন্মগ্রহণকারী একজন পোলিশ ইহুদি, যিনি 1892 সালে তার বাবা-মা এবং ছয় ভাইবোনের সাথে মার্কিন যুক্তরাষ্ট্রে অভিবাসিত হন। তিনি হার্ভার্ড বিশ্ববিদ্যালয়ে প্রবেশের আগে বস্টন ল্যাটিন স্কুলে পড়াশোনা করেন, জোসিয়াহ রয়েসের কাছ থেকে যুক্তি শেখেন এবং 1905 সালে স্নাতক ডিগ্রি, 1907 সালে স্নাতকোত্তর এবং 1908 সালে দর্শনে পিএইচডি সম্পন্ন করেন। শেফার হার্ভার্ডে পোস্টডক্টরাল ফেলো ছিলেন এবং তারপরে ওয়াশিংটন বিশ্ববিদ্যালয়, কর্নেল, মিনেসোটা বিশ্ববিদ্যালয়, মিসৌরি বিশ্ববিদ্যালয় এবং সিটি কলেজ অফ নিউইয়র্ককে এক বছরের জন্য পড়িয়েছিলেন। 1916 সালে হার্ভার্ড তাঁকে দর্শনের অধ্যাপক হিসাবে নিয়োগ করে, যেখানে তিনি 1952 সালে অবসর নেওয়ার আগে পর্যন্ত ছিলেন। স্ক্যানলান (2000) শেফারের জীবন ও কাজের একটি গবেষণা। শেফার 1913 সালে প্রমাণ করেছিলেন যে বুলিয়ান বীজগণিতকে একটি একক আদিম বাইনারি অপারেশন ব্যবহার করে সংজ্ঞায়িত করা যেতে পারে, "উভয়ই নয়। । । এবং। । । ", এখন সংক্ষেপে NAND, বা এর দ্বৈত NOR, (" না "অর্থে। । । না ")। একইভাবে, প্রস্তাবনামূলক ক্যালকুলাস একটি একক সংযোগকারী ব্যবহার করে প্রণয়ন করা যেতে পারে, যার মধ্যে লজিক্যাল ন্যান্ড-এর মধ্যে সত্য টেবিল থাকে, যা সাধারণত শেফার স্ট্রোক নামে একটি উল্লম্ব রেখা বা এর দ্বৈত লজিক্যাল এনওআর (সাধারণত একটি উল্লম্ব তীর বা একটি ছুরি প্রতীক দিয়ে প্রতীকীকৃত) দ্বারা প্রতীকী হয়। চার্লস পিয়ার্সও 1880 সালে এই তথ্যগুলি আবিষ্কার করেছিলেন, কিন্তু প্রাসঙ্গিক গবেষণাপত্রটি 1933 সাল পর্যন্ত প্রকাশিত হয়নি। শেফার কেবল তাঁর স্ট্রোকের পরিপ্রেক্ষিতে প্রণীত স্বতঃসিদ্ধিরও প্রস্তাব করেছিলেন। শেফার 1913 সালে যা বর্তমানে শেফার স্ট্রোক নামে পরিচিত তা প্রবর্তন করেন; 1925 সালে হোয়াইটহেড এবং রাসেলের প্রিন্সিপিয়া ম্যাথমেটিকার সংস্করণে এটি ব্যবহারের পরেই এটি সুপরিচিত হয়ে ওঠে। শেফারের আবিষ্কার বার্ট্রান্ড রাসেলের কাছ থেকে প্রচুর প্রশংসা অর্জন করেছিল, যিনি তাঁর প্রিন্সিপিয়া ম্যাথমেটিকার দ্বিতীয় সংস্করণে নিজের যুক্তি সহজ করার জন্য এটি ব্যাপকভাবে ব্যবহার করেছিলেন। এই মন্তব্যের কারণে, শেফার যুক্তিবিদদের কাছে এক রহস্যময় মানুষ ছিলেন, বিশেষত কারণ শেফার, যিনি তাঁর কর্মজীবনে খুব কমই প্রকাশ করেছিলেন, এই পদ্ধতির বিশদ বিবরণ কখনও প্রকাশ করেননি, কেবল মাইমোগ্রাফ করা নোটে এবং একটি সংক্ষিপ্ত প্রকাশিত বিমূর্ত ভাষায় এটি বর্ণনা করেছেন। ডব্লিউ. ভি. কুইনের গাণিতিক যুক্তিও শেফার স্ট্রোকের বেশিরভাগ অংশ তৈরি করেছিল। একটি শেফার সংযোগকারী, পরবর্তীকালে, একটি যৌক্তিক ব্যবস্থার যে কোনও সংযোগকারী যা অনুরূপভাবে কাজ করেঃ যার পরিপ্রেক্ষিতে ভাষার অন্যান্য সমস্ত সম্ভাব্য সংযোগগুলি প্রকাশ করা যেতে পারে। উদাহরণস্বরূপ, এগুলি পরিমাণগত এবং মোডাল লজিক্সের জন্যও তৈরি করা হয়েছে। নোটস স্ক্যানলান, মাইকেল, 2000, "দ্য নোনেড অ্যান্ড অননোন এইচ. এম. শেফার", সি. এস-এর লেনদেন। পিয়ার্স সোসাইটি 36:193-224। রোজেন, কেনেথ, 2005, "ডিসক্রিট ম্যাথমেটিক্স অ্যান্ড ইটস অ্যাপ্লিকেশনস" দ্য ফাউন্ডেশন্সঃ লজিক অ্যান্ড প্রুফস 1:28। তথ্যসূত্র 1880-এর দশকের জন্ম 1964-এর মৃত্যু পোলিশ-ইহুদি বংশোদ্ভূত মার্কিন জনগণ ইউক্রেনীয়-ইহুদি বংশোদ্ভূত মার্কিন জনগণ বোস্টন ল্যাটিন স্কুলের প্রাক্তন ছাত্র হার্ভার্ড বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র হার্ভার্ড বিশ্ববিদ্যালয় দর্শন বিভাগের অনুষদ হার্ভার্ড বিশ্ববিদ্যালয়ের অনুষদ মার্কিন যুক্তিবিদ ইউক্রেনীয় ইহুদি অস্ট্রিয়া-হাঙ্গেরি থেকে মার্কিন যুক্তরাষ্ট্রে অভিবাসী ইহুদি দার্শনিকরা