بير مارتن لوف

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

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

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

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

منطقه

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

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

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

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

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

المراجع 

أشخاص على قيد الحياة
أعضاء الأكاديمية الأوروبية
أعضاء الأكاديمية السويدية الملكية للعلوم
أكاديميو جامعة ستوكهولم
إحصائيون سويديون
رياضياتيو القرن 20
رياضياتيو القرن 21
رياضياتيون سويديون
رياضياتيون سويديون في القرن 20
رياضياتيون سويديون في القرن 21
عاملون في المنطق الرياضي
علماء طيور سويديون
فلاسفة القرن 21
فلاسفة سويديون
فلاسفة سويديون في القرن 20
فلاسفة سويديون في القرن 21
فلاسفة معاصرون
منطقيون سويديون
مواليد 1942