در تلاشی برای پاسخ گویی به پرسش اول، نظریه محاسبه‌پذیری ([computability theory]) بررسی می‌کند که چه مسائلی قابل حل هستند (از طریق نظریات مدل‌های پردازش) .
dˈar talˈɑʃi barˈɑje pˈɑsox ɡˈuːiː beː pˈorseʃ ˈavval nˈazarˌije mˌohɑsˈebeːpazˈiri (en)kəmpjˌuːtəbˈɪlɪti θˈiəɹi(fa) barrˈasi mikˈonad kˈeː tʃeː masˈɑʔelˌi q1ˈɑbel hˈal hˈastand az tarˈiq1e nˈazarˌiɑt mˈodelhˈɑje pardˈɑzeʃ .