بير مارتن لوف

بير إريك روتغر مارتن لوف (من موالين 8 مايو 1942)، هو منطقي سويدي وفيلسوف وإحصائي رياضي،[4] وهو مشهور دوليًا بعمله في أسس الاحتمالات والإحصاء والمنطق الرياضي وعلوم الحاسوب. منذ أواخر السبعينيات، كانت منشورات مارتن لوف مركزة حول المنطق. في المنطق الفلسفي، تعامل مارتن لوف مع فلسفة الاستتباع المنطقي والحكم مستلهمًا بأعمال برنتانو وفريجه وهوسرل. في المنطق الرياضي، كان مارتن لوف نشطًا في تطوير نظرية النمط الحدسي كأساس بناء للرياضيات. أثر عمل مارتن لوف على نظرية النمط في علوم الحاسوب.[5]

بير مارتن لوف
Per MartinLoef.jpg
 

معلومات شخصية
الميلاد 8 مايو 1942 (80 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
مواطنة Flag of Sweden.svg السويد  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الأكاديمية الأوروبية[1]،  والأكاديمية الملكية السويدية للعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
إخوة وأخوات
الحياة العملية
المدرسة الأم جامعة ستكهولم  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه أندريه كولموغوروف  تعديل قيمة خاصية (P184) في ويكي بيانات
المهنة عالم طيور،  وفيلسوف،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية[2]  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل منطق رياضي  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في جامعة ستكهولم  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
الدكتوراه الفخرية من جامعة لايدن  [لغات أخرى] (2004)[3]  تعديل قيمة خاصية (P166) في ويكي بيانات

حتى تقاعده في عام 2009، شغل بير مارتن لوف كرسيًا مشتركًا للرياضيات والفلسفة في جامعة ستوكهولم.

شقيقه أندرس مارتن لوف هو الآن أستاذ فخري للإحصاء الرياضي في جامعة ستوكهولم.[6] تعاون الأخوان في البحث في الاحتمالات والإحصاء. أثر بحث أندريه وبير مارتن لوف على النظرية الإحصائية، خاصةً فيما يتعلق بالعوائل الأسية وطريقة تحقيق أقصى قدر لتوقع البيانات المفقودة واختيار النموذج.[7]

يراقب بير مارتن لوف الطيور بحماسة، وأول منشور علمي له كان حول معدلات وفيات الطيور المُطوَّقة.[8]

منطقهعدل

المنطق الفلسفيعدل

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

نظرية النمطعدل

عمل بير مارتن لوف في المنطق الرياضي لعدة عقود.[9]

من عام 1968 إلى عام 1969، عمل بير مارتن لوف كأستاذ مساعد في جامعة شيكاغو، حيث التقى ويليام آلفين هوارد الذي ناقش معه القضايا المتعلقة بمراسلات كاري- هوارد. تعود أول مسودة مقال لمارتن لوف حول نظرية النمط إلى عام 1971. عممت هذه النظرية غير الإسنادية نظام جيرارد ف. ومع ذلك، تبين أن هذا النظام غير متناسق بسبب مفارقة جيرارد التي اكتشفها جيرارد عند دراسة النظام يو، وهو امتداد غير متناسق للنظام ف. قادت هذه التجربة بير مارتن لوف إلى تطوير الأسس الفلسفية لنظرية النمط وتفسير معناه وهو شكل من دلالات إثبات صحة النظرية التي تبرر نظرية النمط الإسنادية كما قُدِّمَت في كتابه ببليوبوليس لعام 1984. وسّع مبير مارتن لوف النظرية ضمن عدد متزايد من النصوص الفلسفية كما في عمله المؤثر «في معاني الثوابت المنطقية ومبررات القوانين المنطقية».[10]

كانت نظرية النمط لعام 1984 امتدادًا للعمل السابق عندما قُدِّمَت النظرية في الكتاب من قبل نوردستروم وآخرون في عام 1990. تأثرت النظرية لاحقًا بأفكاره الدلالية القابلة للتطبيق على الكمبيوتر.

طورت نظرية النمط الحدسي لمارتن لوف فكرة الأنماط التابعة، وأثرت بشكل مباشر على تطور حساب البناء والإطار المنطقي. يعتمد عدد من أنظمة الإثبات المعتمدة على الحاسوب على نظرية النمط، على سبيل المثال: نو بي آر إل وإل إي جي أو وكوك وإيه إل إف وآغدا وتويلف وإبيغرام وإدريس.

المراجععدل

  1. ^ https://www.ae-info.org/ae/User/Martin-Löf_Per
  2. ^ الناشر: وكالة الفهرسة للتعليم العالي — Identifiants et Référentiels — تاريخ الاطلاع: 12 مايو 2020
  3. ^ https://www.universiteitleiden.nl/en/about-us/facts-and-figures/laureates
  4. ^ Peter Dybjer on types and testing – The Type Theory Podcast نسخة محفوظة 2020-05-17 على موقع واي باك مشين.
  5. ^ See e.g. Nordström, Bengt؛ Petersson, Kent؛ Smith, Jan M. (1990)، Programming in Martin-Löf 's Type Theory: An Introduction (PDF)، Oxford University Press، .
  6. ^ Member profile, الأكاديمية الأوروبية, retrieved 2014-01-26. "نسخة مؤرشفة"، مؤرشف من الأصل في 11 مارس 2016، اطلع عليه بتاريخ 12 سبتمبر 2020.{{استشهاد ويب}}: صيانة CS1: BOT: original-url status unknown (link)
  7. ^ For details, see the بير مارتن لوف section of this article.
  8. ^ Martin-Löf (1961).
  9. ^ Rolf Sundberg. 1971. Maximum likelihood theory and applications for distributions generated when observing a function of an exponential family variable. Dissertation, Institute for Mathematical Statistics, Stockholm University.
  10. ^ أندرس مارتن [الإنجليزية]. 1963. "Utvärdering av livslängder i subnanosekundsområdet" ("Evaluation of lifetimes in time-lengths below one nanosecond"). ("Sundberg formula")