حساب البناءات (دراسة تحليلية لبناءات تيري کوکاند) | ||||
| حوليات أداب عين شمس | ||||
| Article 6, Volume 46, یولیو - سبتمبر (جـ) - Serial Number 3, July 2018, Page 167-210 PDF (9.79 MB) | ||||
| Document Type: المقالة الأصلية | ||||
| DOI: 10.21608/aafu.2018.46391 | ||||
 View on SCiNiTO | ||||
| Author | ||||
| محمد سيد محمد أبوالعلا | ||||
| کلية الآداب جامعة بورسعيد | ||||
| Abstract | ||||
| يناقش هذا البحث بالتحليل مصطلح "حساب البناءات" منذ بدايته في القرنين السادس والسابع عشر، مروراً بالقرن العشرين وأهم إضافات رسل والمناطقة المعاصرين، حتى الوقت الحالي، وهذا البحث في مجمله يناقش الجانب المنطقي لحساب البناءات، کما يلقي الضوء على حساب البناءات عند "تيري کوکاند*Thierry Coquand"(1961 ـ )"[i]، نظراً لما يتمتع به المصطلح من أهميةٍ کبرى اليوم بين لغات البرمجة الشائعة في لغات الحاسب الآلي مثل "ليسب، ألجول، باسکال،وغيرها" وما يتمتع به کذلک من أهميةٍ في مجال الرياضيات، وقد أکدت فيه أنه رغم تقدم هذه المجالات إلا أن أساسها يظل منطقياً. فعرضت إلى فکرة البناءات من منظورٍ هندسي عند عالم الرياضيات الألماني أويلر في القرن السادس عشر، وتطور هذه الفکرة لتتخذ شکل حسابي التفاضل والتکامل، ثم تناول رينيه ديکارت لها في القرن السابع عشر فيما يعرف بفکرة الحل وتأثره بفرانسوا فييت، وتأسيسه للبناءات الجبرية لينتقل مصطلح البناء المنطقي بصورة واضحة من البناء الهندسي إلى البناء الجبري، ثم انتقلت إلى عرض المصطلح عند برتراند رسل ممثلاً في نظرته للفئات والأنماط، وتناوله لفکرة الذرية المنطقية ليتحول المصطلح البناء على يديه إلى بناءٍ منطقي، وقد رکزت على رسل نوعاً ما نظراً لما يتمتع به من أهمية منطقية تجعل أساس الرياضيات منطقاً حسب نزعته اللوجستيقية، کما أن مقاله الذرية المنطقية يعد عملاً في الترجمة، وهو ما يتماشى مع هدف البحث، ثم انتقلت إلى محور البحث الأساسي تيري کوکاند أحد علماء الحاسب الآلي، وانتقال حساب البناءات إلى لغات البرمجة. فأوضحت کيف سلط حسابه الضوء على مصطلحاتٍ جديدة وأفکار تناولها مناطقة مثل ألونزو تشيرش کحساب لامدا، وثورة کوکاند على مايعرف بالرياضيات النويثرية التي أسستها الرياضية الألمانية أمالي نويثر، وتأسيسه للجانب الاستقرائي للبناءات مستنداً للجانب النمطي لحساب لامدا، وکيف أدى به الأمر في نهاية المطاف إلى القول بحساب باي، وغيره من المعادلات التي تحکم لغة وطريقة عمل الحاسب الآلي، وامتدادها إلى شتى المجالات التکنولوجية المختلفة، نظراً لما تتمتع به الآن من أهمية في حياتنا اليومية، إلا أن أساسها يبقى منطقياً. *تيري کوکاند: أستاذ علوم الحاسب والهندسة بجامعة شالمرز CHALMERSللتکنولوجيا بجوتنبرج بالسويد، ولد في 18 إبريل عام 1961 بأوسير بفرنسا، اشتهر بعمله في مجال رياضة البناءات، وخاصة حساب البناءات، کتب عدداً من المقالات المنطقية في مجال علوم الحاسب النظرية، وعلاقة المنطق بالطوبولوجيا أو علم دراسة المکان، کما تکلم عن نموذج بساطة مجموعات "کريبک"، وغيرهاحصل على درجة الدکتوراة تحت إشراف جيرارد هيت صاحب المفارقة الرياضية التي تعرف باسم "مفارقة جيرارد"(الباحث). | ||||
|
Supplementary Files
|
||||
| References | ||||
|
| ||||
|
Statistics Article View: 243 PDF Download: 249 |
||||
