Henry M. Sheffer
ہنری مورس شیفر (1 ستمبر 1882-17 مارچ 1964) ایک امریکی منطق تھا۔ زندگی اور کیریئر شیفر مغربی یوکرین میں پیدا ہونے والا ایک پولینڈ کا یہودی تھا، جو 1892 میں اپنے والدین اور چھ بہن بھائیوں کے ساتھ امریکہ ہجرت کر گیا۔ انہوں نے ہارورڈ یونیورسٹی میں داخل ہونے سے پہلے بوسٹن لاطینی اسکول میں تعلیم حاصل کی، یوسیاہ رائس سے منطق سیکھی، اور 1905 میں اپنی انڈرگریجویٹ ڈگری، 1907 میں اپنے ماسٹر کی ڈگری، اور 1908 میں فلسفہ میں پی ایچ ڈی مکمل کی۔ شیفر ہارورڈ میں پوسٹ ڈاکٹریٹ فیلو تھے، اور پھر انہوں نے یونیورسٹی آف واشنگٹن، کارنیل، یونیورسٹی آف مینیسوٹا، یونیورسٹی آف میسوری، اور سٹی کالج آف نیویارک میں ایک ایک سال تک پڑھایا۔ 1916 میں، انہیں ہارورڈ نے فلسفہ کے پروفیسر کے طور پر رکھا، جہاں وہ 1952 میں ریٹائر ہونے تک رہے۔ اسکینلان (2000) شیفر کی زندگی اور کام کا مطالعہ ہے۔ شیفر نے 1913 میں ثابت کیا کہ بولین الجبرا کی تعریف ایک واحد ابتدائی بائنری آپریشن کا استعمال کرتے ہوئے کی جا سکتی ہے، "دونوں نہیں۔ ۔ ۔ اور۔ ۔ ۔ "، اب مختصر NAND، یا اس کا دوہری NOR، (" نہ "کے معنی میں۔ ۔ ۔ نہ ہی ")۔ اسی طرح، پروپوزیشنل کیلکولس کو ایک واحد کنیکٹو کا استعمال کرتے ہوئے وضع کیا جا سکتا ہے، جس میں ٹروتھ ٹیبل یا تو منطقی NAND کی ہوتی ہے، جسے عام طور پر شیفر اسٹروک نامی عمودی لکیر کے ساتھ نشان زد کیا جاتا ہے، یا اس کے دوہری منطقی NOR (عام طور پر عمودی تیر کے ساتھ یا کھجلی کی علامت کے ساتھ)۔ چارلس پیئرس نے بھی ان حقائق کو 1880 میں دریافت کیا تھا، لیکن متعلقہ مقالہ 1933 تک شائع نہیں ہوا تھا۔ شیفر نے صرف اپنے فالج کے لحاظ سے وضع کردہ محوریات کی بھی تجویز پیش کی۔ شیفر نے 1913 میں شیفر اسٹروک متعارف کرایا جسے اب شیفر اسٹروک کے نام سے جانا جاتا ہے۔ یہ وائٹ ہیڈ اور رسل کے پرنسپیا میتھمیٹکا کے 1925 کے ایڈیشن میں اس کے استعمال کے بعد ہی مشہور ہوا۔ شیفر کی دریافت نے برٹرینڈ رسل کی طرف سے بہت تعریف حاصل کی، جنہوں نے اپنے پرنسپیا میتھمیٹکا کے دوسرے ایڈیشن میں اپنی منطق کو آسان بنانے کے لیے اس کا بڑے پیمانے پر استعمال کیا۔ اس تبصرے کی وجہ سے، شیفر منطقوں کے لیے ایک پراسرار شخص تھا، خاص طور پر اس وجہ سے کہ شیفر، جس نے اپنے کیریئر میں بہت کم شائع کیا، نے اس طریقہ کار کی تفصیلات کبھی شائع نہیں کیں، اسے صرف مائیموگراف شدہ نوٹوں میں اور ایک مختصر شائع شدہ خلاصہ میں بیان کیا۔ ڈبلیو وی کوائن کی ریاضیاتی منطق نے بھی شیفر اسٹروک کا زیادہ تر حصہ بنایا۔ شیفر کنیکٹو، بعد میں، منطقی نظام میں کوئی بھی کنیکٹو ہے جو یکساں طور پر کام کرتا ہے: جس کے لحاظ سے زبان میں دیگر تمام ممکنہ کنیکٹو کا اظہار کیا جا سکتا ہے۔ مثال کے طور پر، انہیں مقداری اور موڈل منطق کے لیے بھی تیار کیا گیا ہے۔ نوٹس اسکینلان، مائیکل، 2000، "معروف اور نامعلوم ایچ ایم شیفر"، سی ایس کے لین دین۔ پیئرس سوسائٹی 36:193-224۔ روزن، کینتھ، 2005، "ڈسکریٹ میتھمیٹکس اینڈ ایٹس ایپلی کیشنز" فاؤنڈیشنز: لاجک اینڈ پروفز 1:28۔ حوالہ جات 1880 کی دہائی کی پیدائش 1964 اموات پولینڈ کے یہودی نسل کے امریکی لوگ یوکرائنی یہودی نسل کے امریکی لوگ بوسٹن لاطینی اسکول کے سابق طلباء ہارورڈ یونیورسٹی کے سابق طلباء ہارورڈ یونیورسٹی شعبہ فلسفہ فیکلٹی ہارورڈ یونیورسٹی فیکلٹی امریکی منطق یوکرائنی یہودی تارکین وطن آسٹریا ہنگری سے ریاستہائے متحدہ امریکہ کے یہودی فلسفی