ارسل ملاحظاتك

ارسل ملاحظاتك لنا







حساب البناءات: دراسة تحليلية لبناءات تيري كوكاند

العنوان بلغة أخرى: Constructions Calculus: Thierry Coquand's Constructions Analytical Study
المصدر: حوليات آداب عين شمس
الناشر: جامعة عين شمس - كلية الآداب
المؤلف الرئيسي: أبوالعلا، محمد سيد محمد (مؤلف)
المجلد/العدد: مج46
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2018
الشهر: سبتمبر
الصفحات: 167 - 210
DOI: 10.21608/AAFU.2018.46391
ISSN: 1110-7227
رقم MD: 971525
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex, AraBase
مواضيع:
رابط المحتوى:
صورة الغلاف QR قانون

عدد مرات التحميل

11

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

This research explores the term construct calculus since its inception in the 6th and 17th centuries, through the 20th century and the most important additions of messengers and contemporary regions. To this day, this research examines the logical side of structural calculation. It also sheds light on the construction of "Thierry Coquand" (1961), because the term is of great importance today among the common programming languages in the computer languages such as LISP, ALgol, Pascal, etc., as well as its importance in mathematics. In spite of the progress of these areas, the basis remains logical From the engineering perspective of the German mathematician Eueler in the sixteenth century, the idea of calculus developed into calculus. Renee Descartes discussed it in the seventeenth century with the idea of solution and its influence on François Veet and the establishment of algebraic constructions. From the construction of engineering to the construction of forced, and then moved to the presentation of the term in Bertrand Russell in his view of classes and types, and addressed the idea of logical atomic to turn the term construct on his hands to a logical construction, And focused on the Russell of some kind because of the logical importance that make the basis of mathematics logic according to his logistic approach, and his logical atomic article is a work in translation, which is in line with the goal of research, and then moved to the main research axis, Thierry Coquand, a computer scientist, and the transfer of the construction calculus to the programming languages. She explained how his account shed light on new terms and ideas such as Alonzo Church as the Lambda account, the Coquand revolution on what is known in the mathematics"Noetherian mathematics" founded by German mathematician Amalie Noether, and the construction of the inductive aspect of the constructions based on the typical aspect of Lambda's account. π calculates, and other equations that govern the language and method of work of the computer, and its spread to various technological fields, given the importance it now in our daily lives, but the basis remains logical.

ISSN: 1110-7227

عناصر مشابهة