يوليوس ريتشارد بوشي

الموسوعة الحرة

كان يوليوس ريتشارد بوشي (1924-1984) عالم منطق ورياضيات سويسري .

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

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

منشورات مختارة

  • الأوتوماتا المحدودة، وجبرها وقواعدها النحوية - نحو نظرية التعبيرات الرسمية . نُشر بعد وفاته، سبرينغر، نيويورك 1989.
  • الأعمال الكاملة لج. ريتشارد بوشي . حررها سوندرز ماك لين وديرك سيفكس . سبرينغر، نيويورك 1990.