ليون هينكين ، المنطق الأمريكي (ت 2006)
كان ليون ألبرت هينكين (19 أبريل 1921 ، بروكلين ، نيويورك - 1 نوفمبر 2006 ، أوكلاند ، كاليفورنيا) أحد أهم علماء المنطق والرياضيات في القرن العشرين. لعبت أعماله دورًا قويًا في تطوير المنطق ، لا سيما في نظرية الأنواع. كان باحثًا نشطًا في جامعة كاليفورنيا ، بيركلي ، حيث قدم مساهمات كبيرة كباحث ومدرس وكذلك في مناصب إدارية. في هذه الجامعة ، أدار ، مع ألفريد تارسكي ، مجموعة المنطق ومنهج العلم ، التي انبثقت منها العديد من الفلاسفة والمنطقين المهمين. كان لديه شعور قوي بالالتزام الاجتماعي وكان مدافعًا شغوفًا عن أفكاره السلمية والتقدمية. شارك في العديد من المشاريع الاجتماعية التي تهدف إلى تدريس الرياضيات ، فضلاً عن المشاريع التي تهدف إلى دعم مجموعات النساء والأقليات لمتابعة مهن في الرياضيات والمجالات ذات الصلة. عاشق للرقص والأدب ، فقد قدر الحياة من جميع جوانبها: الفن والثقافة والعلوم ، وقبل كل شيء دفء العلاقات الإنسانية. يتذكره طلابه لطفه الكبير ، وكذلك لتفوقه الأكاديمي والتدريسي. اشتهر هينكين بشكل أساسي بإثباتاته الكاملة للأنظمة الرسمية المتنوعة ، مثل نظرية النوع والمنطق من الدرجة الأولى (اكتمال الأخير ، في نسخته الضعيفة ، تم إثباته بواسطة Kurt Gödel في عام 1929). لإثبات اكتمال نظرية النوع ، يقدم Henkin دلالات جديدة ، بناءً على هياكل معينة ، تسمى النماذج العامة (المعروفة أيضًا باسم نماذج Henkin). تغيير دلالات الكلمات الذي اقترحه تصاريح لتوفير حساب استنتاجي كامل لنظرية النوع ومنطق الدرجة الثانية ، من بين منطق آخر. ساعدت طرق Henkin في إثبات نتائج نظرية النموذج المختلفة ، في كل من المنطق الكلاسيكي وغير الكلاسيكي. إلى جانب المنطق ، كان الفرع الآخر الذي تركزت عليه تحقيقاته هو علم الجبر. تخصص في الجبر الأسطواني ، حيث عمل مع أ. تارسكي ود. مونك. أما بالنسبة لفلسفة الرياضيات ، فعلى الرغم من ندرة الأعمال التي يتعامل معها صراحةً ، إلا أنه يمكن اعتباره صاحب موقع اسمي.