دانا سكوت

دانا ستيوارت سكوت (مواليد 11 أكتوبر 1932) هو عالم منطق أمريكي، يشغل منصب أستاذ فخري في علوم الحاسوب والفلسفة والمنطق الرياضي بجامعة كارنيجي ميلون . ^{[ 1 ]} وهو الآن متقاعد ويقيم في بيركلي، كاليفورنيا . فاز هو ومايكل أو. رابين بجائزة تورينج من جمعية آلات الحوسبة (ACM) عام 1976 لأبحاثهما في نظرية الأوتوماتا ، بينما أرست أعماله التعاونية مع كريستوفر ستراشي في سبعينيات القرن الماضي أسس المناهج الحديثة لدراسة دلالات لغات البرمجة . كما عمل أيضًا في المنطق الموجه ، والطوبولوجيا ، ونظرية الفئات .

حصل سكوت على درجة البكالوريوس في الرياضيات من جامعة كاليفورنيا، بيركلي ، عام 1954. وكتب أطروحته للدكتوراه حول المتتاليات المتقاربة للنظريات الكاملة تحت إشراف ألونسو تشيرش أثناء وجوده في برينستون ، ودافع عن أطروحته عام 1958. ويكتب سولومون فيفرمان (2005) عن هذه الفترة:

بدأ سكوت دراسته في المنطق بجامعة بيركلي في أوائل الخمسينيات من القرن الماضي، حين كان لا يزال طالبًا جامعيًا. وسرعان ما لُوحظت قدراته الاستثنائية، فانتقل سريعًا إلى فصول الدراسات العليا والحلقات الدراسية مع تارسكي ، وأصبح جزءًا من المجموعة المحيطة به، بمن فيهم أنا وريتشارد مونتاغيو ؛ وهكذا توطدت صداقتنا في ذلك الوقت. كان من الواضح أن سكوت سيُكمل دراسته للحصول على الدكتوراه تحت إشراف تارسكي، لكنهما اختلفا لأسباب مُفصّلة في سيرتنا الذاتية. ^{[ 2 ]} وبسبب هذا الخلاف، غادر سكوت إلى برينستون حيث حصل على الدكتوراه تحت إشراف ألونسو تشيرش. ولكن لم يمضِ وقت طويل حتى تصالحا، حتى قال له تارسكي: "أتمنى أن أعتبرك تلميذي".

بعد إتمام دراسته للدكتوراه، انتقل إلى جامعة شيكاغو ، حيث عمل محاضرًا حتى عام ١٩٦٠. وفي عام ١٩٥٩، نشر بحثًا مشتركًا مع زميله مايكل أو. رابين من جامعة برينستون، بعنوان "الأوتوماتا المحدودة ومسألة اتخاذ القرار فيها" (سكوت ورابين ١٩٥٩)، والذي قدّم فكرة الآلات غير الحتمية إلى نظرية الأوتوماتا . وقد أدى هذا العمل إلى منحهما جائزة تورينج مناصفةً، تقديرًا لإسهامهما في تقديم هذا المفهوم الأساسي لنظرية التعقيد الحسابي .

تولى سكوت منصب أستاذ مساعد في الرياضيات، عائدًا إلى جامعة كاليفورنيا في بيركلي ، وانخرط في دراسة القضايا الكلاسيكية في المنطق الرياضي ، ولا سيما نظرية المجموعات ونظرية نماذج تارسكي . وقد أثبت أن بديهية قابلية الإنشاء تتعارض مع وجود عدد أصلي قابل للقياس ، وهي نتيجة تُعتبر أساسية في تطور نظرية المجموعات. ^{[ 3 ]}

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

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

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

في جامعة كارنيجي ميلون ، اقترح سكوت نظرية الفضاءات المتساوية كنظرية لاحقة لنظرية المجال؛ ومن بين مزاياها العديدة، أن فئة الفضاءات المتساوية هي فئة مغلقة ديكارتية ، بينما فئة المجالات ^{[ 4 ]} ليست كذلك. في عام 1994، انتُخب زميلًا في جمعية آلات الحوسبة . وفي عام 2012، أصبح زميلًا في الجمعية الرياضية الأمريكية . ^{[ 5 ]}

• مع مايكل أو. رابين ، 1959. الأوتوماتا المحدودة ومسألة اتخاذ القرار الخاصة بها . doi : 10.1147/rd.32.0114
• 1967. برهان على استقلال فرضية الاستمرارية . نظرية الأنظمة الرياضية 1:89-111.
• 1970. "نصائح حول المنطق الموجه". في كتاب "المشاكل الفلسفية في المنطق" ، تحرير ك. لامبرت، الصفحات 143-173.
• مع جون ليمون ، 1977. مقدمة في المنطق الموجه . أكسفورد: بلاكويل.
• جيرز، ج.؛ هوفمان، ك.هـ.؛ كيمل، ك.؛ لوسون، ج.د.؛ ميسلوف، م.و.؛ سكوت، د.س. (2003). الشبكات والمجالات المتصلة . موسوعة الرياضيات وتطبيقاتها. المجلد  93. مطبعة جامعة كامبريدج. ISBN 978-0-521-80338-0.

• قائمة رواد علوم الحاسوب

• بلاكبيرن، دي ريكي وفينيما (2001). منطق مشروط . مطبعة جامعة كامبريدج .
• جاك كوبلاند (2004). آرثر بريور . في موسوعة ستانفورد للفلسفة .
• أنيتا بيردمان فيفرمان وسولومون فيفرمان (2004). ألفريد تارسكي: الحياة والمنطق . مطبعة جامعة كامبريدج، رقم ISBN 978-0-521-80240-6، ISBN 978-0-521-80240-6.
• سولومون فيفرمان (2005). تأثير تارسكي على علوم الحاسوب . وقائع مؤتمر LICS'05. مطبعة IEEE .
• جوزيف إي. ستوي (1977). الدلالات الدلالية: منهج سكوت-ستراتشي لنظرية لغات البرمجة . مطبعة معهد ماساتشوستس للتكنولوجيا . رقم ISBN 978-0-262-19147-0

• الموقع الرسمي
• ورشة عمل DOMAIN 2002 حول نظرية المجال - أقيمت تكريماً لعيد ميلاد سكوت السبعين.
• دانا سكوت في مشروع علم الأنساب الرياضي
• مقابلة مع دانا سكوت أجراها جوردون بلوتكين ، كجزء من سلسلة مقابلات جمعية آلات الحوسبة مع الفائزين بجائزة تورينج: الجزء 1 (12 نوفمبر 2020) الجزء 2 (29 ديسمبر 2020) الجزء 3 (12 يناير 2021) الجزء 4 (18 فبراير 2021)
• مختارات من أوراق دانا س. سكوت