البرامج، البراهين، العمليات - تأليف Fernando Ferreira & Benedikt Löwe & Elvira Mayordomo & Luís Mendes Gomes (غلاف ورقي)

ملخص الكتاب مؤتمر CiE 2010: البرامج، البراهين، العمليات، بونتا ديلغادا، جزر الأزور، البرتغال، 30 يونيو 4 يوليو 2010 شهدت السنوات القليلة الماضية، بدءاً من عام 2005 مع مؤتمرنا الافتتاحي في أمستردام، تطوراً من تعاون غير رسمي عبر سلسلة مؤتمرات تأسست بشكل متزايد إلى جمعية تأسست في عام 2008. وبينما قد يكون الشكل التنظيمي لـ Computability in Europe (CiE) قد تغير، إلا أن النطاق العلمي لا يزال كما هو، ويظل متعدد التخصصات ومبتكراً كما كان قبل ست سنوات عندما عقدنا المؤتمر الأول. تهدف CiE إلى تعزيز العلوم المتعلقة بالحوسبة بمعناها الأوسع، بما في ذلك الرياضيات، وعلوم الحاسوب، والتطبيقات في مختلف العلوم الطبيعية والهندسية (مثل الفيزياء، وعلم الأحياء، وهندسة الحاسوب)، كما تمتد لتشمل الدراسات الميتافيزيقية مثل تاريخ وفلسفة الحوسبة. ويسعى الباحثون في مؤتمرات CiE إلى تطوير فهمنا النظري لما يمكن وما لا يمكن حوسبته، عبر أي وسيلة من وسائل الحوسبة. كان مؤتمر CiE 2010 هو المؤتمر السادس في هذه السلسلة، والذي عُقد في موقع فريد ومثير من الناحية الجغرافية، وهو أبعد نقطة غربية في أوروبا، وذلك في جامعة Azores في Ponta Delgada، البرتغال. يشير كتاب ThethemeofCiE2010 Programs, Proofs, Processes إلى التآزر المعتاد في مؤتمرات CiE بين علوم الحاسوب والرياضيات والمنطق، مع وجود روابط هامة في نظرية القابلية للحساب مع العلوم والكون الحقيقي. إن الأنظمة الرسمية، والبراهين المصاحبة لها، وإمكانية توليدها ومعالجتها حاسوبياً (على سبيل المثال، تحويلها إلى برامج) قد أحدثت تغييراً في طيف كامل من التخصصات.