ليون ألبرت هينكين
ليون ألبرت هينكين · التكنولوجيا والهندسة
كان ليون هنكين عالم منطق أمريكيًا اشتُهر خاصة بـ«برهان هنكين» لمبرهنة الاكتمال في المنطق من الرتبة الأولى، وهي تقنية صارت معيارية في المنطق الرياضي، وبإنشاء هنكين وعمله في نظرية الأنماط.
1921, بروكلين, نيويورك, الولايات المتحدة — 2006, أوكلاند, كاليفورنيا, الولايات المتحدة
الولايات المتحدة · جامعة كاليفورنيا, بيركلي
كان ليون هنكين عالم منطق أمريكيًا اشتُهر خاصة بـ«برهان هنكين» لمبرهنة الاكتمال في المنطق من الرتبة الأولى، وهي تقنية صارت معيارية في المنطق الرياضي، وبإنشاء هنكين وعمله في نظرية الأنماط. درّس في جامعة كاليفورنيا ببيركلي وناصر تعليم الرياضيات وإتاحته. وكان يهوديًا.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
كان ليون هنكين عالم منطق أمريكيًا اشتُهر خاصة بـ«برهان هنكين» لمبرهنة الاكتمال في المنطق من الرتبة الأولى، وهي تقنية صارت معيارية في المنطق الرياضي، وبإنشاء هنكين وعمله في نظرية الأنماط.
المصدر: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
