هنري م. شيفر

هنري موريس شيفر (1 سبتمبر 1882 - 17 مارس 1964) ^{[ 1 ]} كان منطقيًا أمريكيًا .

كان شيفر يهوديًا بولنديًا ولد في أوديسا وهاجر إلى الولايات المتحدة عام 1892 مع والديه وإخوته الستة. درس في مدرسة بوسطن اللاتينية قبل التحاقه بجامعة هارفارد ، حيث تعلم المنطق على يد جوزيا رويس ، وأكمل دراسته الجامعية عام 1905، وحصل على درجة الماجستير عام 1907، ودرجة الدكتوراه في الفلسفة تحت إشراف رويس عام 1908.

كان شيفر زميلًا لما بعد الدكتوراه في جامعة هارفارد، ثم درّس في جامعة واشنطن ، وجامعة كورنيل ، وجامعة مينيسوتا ، وجامعة ميسوري ، وكلية مدينة نيويورك لمدة عام واحد في كل منها. في عام 1916، عُيّن أستاذًا للفلسفة في جامعة هارفارد، حيث بقي حتى تقاعده عام 1952. كتاب سكانلان (2000) دراسةٌ لحياة شيفر وأعماله.

أثبت شيفر في عام 1913 أن الجبر البولياني يُمكن تعريفه باستخدام عملية ثنائية أولية واحدة، وهي "ليس كلاهما... و..."، والتي تُختصر الآن إلى NAND ، أو نظيرتها NOR (بمعنى "لا هذا ولا ذاك"). ^{[ 2 ]} وبالمثل، يُمكن صياغة حساب القضايا باستخدام رابط واحد، بحيث يكون جدول الصواب إما لعملية NAND المنطقية ، والتي يُرمز لها عادةً بخط عمودي يُسمى خط شيفر ، أو لنظيرتها المنطقية NOR (والتي يُرمز لها عادةً بسهم عمودي أو برمز خنجر ). كان تشارلز بيرس قد اكتشف هذه الحقائق أيضًا في عام 1880، ولكن لم تُنشر الورقة البحثية ذات الصلة حتى عام 1933. كما اقترح شيفر بديهيات مُصاغة فقط باستخدام خطه. ^{[ 3 ]}

قدّم شيفر ما يُعرف الآن باسم "ضربة شيفر" عام 1913؛ ولم يشتهر إلا بعد استخدامه في طبعة عام 1925 من كتاب " مبادئ الرياضيات" لوايتهيد وراسل . وقد حظي اكتشاف شيفر بإشادة كبيرة من برتراند راسل، الذي استخدمه على نطاق واسع لتبسيط منطقه الخاص، في الطبعة الثانية من كتابه "مبادئ الرياضيات" . وبسبب هذا التعليق، كان شيفر شخصية غامضة إلى حد ما بالنسبة للمنطقيين، خاصةً أنه لم ينشر سوى القليل خلال مسيرته المهنية، ولم ينشر تفاصيل هذه الطريقة، بل وصفها فقط في ملاحظات مطبوعة وملخص موجز منشور. كما أولى دبليو في كواين اهتمامًا كبيرًا لضربة شيفر في كتابه " المنطق الرياضي" . وبالتالي، فإن رابط شيفر هو أي رابط في نظام منطقي يعمل بشكل مماثل: رابط يمكن من خلاله التعبير عن جميع الروابط الأخرى الممكنة في اللغة. على سبيل المثال، تم تطويرها أيضًا للمنطق الكمي والمنطق الموجه . ^{[ 4 ]}

توفي شيفر في بوسطن .

• سكانلان، مايكل، 2000، "المعروف والمجهول إتش إم شيفر"، معاملات جمعية سي إس بيرس 36 : 193-224.
• روزن، كينيث، 2005، "الرياضيات المتقطعة وتطبيقاتها" الأسس: المنطق والبراهين 1 : 28.