ليوبولد لوينهايم ، عالم رياضيات ومنطق ألماني (مواليد 1878)

كان ليوبولد لوينهايم (26 يونيو 1878 في كريفيلد - 5 مايو 1957 في برلين) عالم رياضيات ألمانيًا يقوم بعمل في المنطق الرياضي. أجبره النظام النازي على التقاعد لأنه بموجب قوانين نورمبرغ كان يعتبر ثلاثة أرباع الآريين فقط. في عام 1943 ، تم تدمير الكثير من أعماله خلال غارة قصف على برلين. ومع ذلك ، فقد نجا من الحرب العالمية الثانية ، وبعد ذلك استأنف تدريس الرياضيات. قدم Löwenheim (1915) الدليل الأول لما يعرف الآن باسم نظرية Löwenheim-Skolem ، والتي غالبًا ما تعتبر نقطة البداية لنظرية النموذج.

كان ليوبولد نجل لودفيج لوينهايم ، مدرس الرياضيات في كلية الفنون التطبيقية في كريفيلد وإليزابيث رون ، كاتبة. في عام 1881 ، غادر الثلاثة كريفيلد أولاً إلى نابولي ثم إلى برلين حيث كان لودفيج باحثًا خاصًا يعمل على وصف شامل لتأثير ديموقريطس على العلم الحديث. على الرغم من أنه كان يأمل في أن يكسبه ذلك وظيفة تدريس في جامعة هومبولت ، إلا أن لودفيج توفي عام 1894.