Simply stated, it asks whether every problem whose solution can be quickly checked by computer can also be solved by computer.
Ring informal, ipun nakénang napi ké sabilang pikobet sané solusinyané prasida gelis kaverifikasi olih komputer taler prasida kapuputang digelis olih komputer; akéh sané narka pasautnyané inggih punika nénten prasida.