به گزارش خبرگزاری مهر، این جایزه به سبب تحقیقات و پژوهشهای این دو پژوهشگر درباره علوم صوری و سیستمهای صوری اعطاء شده است.
سیستم صوری در منطق صوری به معنای یک زبان صوری و مجموعه‌ای از قواعد استنباط و اصول موضوع است.
علوم صوری به شاخه‌ای از دانش گفته می‌شود که با سیستمهای صوری ارتباط دارند. برای نمونه منطق، ریاضیات، نظریه سیستمها، علوم کامپیوتر، نظریه اطلاعات، نظریه تصمیم‌گیری، آمار، فلسفه و برخی جنبه‌های زبان شناسی از جمله این علوم به شمار می‌روند.
میزان این جایزه 730 هزار دلار است که برای انجام سه سال کار تحقیقاتی درباره سیستمهای صوری به این دو پژوهشگر و استاد دانشگاه تعلق گرفته است.
والکر هالباخ متخصص در حوزه‌هایی چون منطق، فلسفه زبان، معرفت شناسی و فلسفه ریاضیات است. گابریل آزکوآنو دانش آموخته دانشگاه MIT و متخصص در حوزه‌هایی چون فلسفه منطق و زبان، ریاضیات و فلسفه ریاضیات است.