تم النشر اليوم 2024/05/15 | بير مارتن لوف

منطقه

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

شرح مبسط

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