یک تعریف رسمی برای محاسبات و محاسبه ‌پذیری و اثبات اینکه مسائلی غیرقابل حل یا حل آن‌ها طاقت فرساست، ارائه میدهد .
jˈek tˈaʔrif rˈasmi barˈɑje mˌohɑsˈebɑt vˈa mˌohɑsˈebeː pazˈiri vˈa ˈesbɑt ˈinkeː masˈɑʔelˌi q1ˈejreq1ˈɑbel hˈal jɑː hˈal ɑnhɑ tˈɑq1at fˈarsɑst erˈɑeː midˈahad .