برنامه‌های کامپیوتری فوق آهسته محدودیت‌های بنیادی ریاضی را آشکار می‌کنند

هدف بازی «سگ آبی مشغول» (Busy Beaver) یافتن آهسته‌ترین برنامه‌ی کامپیوتری است. این بازی ارتباط‌های شگفت‌انگیزی با پرسش‌های عمیق ریاضی دارد.