Kubva mundima inotevera, chii chiri mhedziso huru pamusoro pechinetso chokumira?
Context:Mu computability theory, chinetso chokumisa chinetso chokugadza, kubva murondedzero yepurogiramu yekombiyuta yakasarudzwa uye kupinda, kana purogiramu ichapedza kumhanya, kana kuramba ichimhanya nokusingaperi. Alan Turing akaratidza muna 1936 kuti general algorithm yekugadzirisa dambudziko rekumira kwezvose zvinogoneka chirongwa <unk> kupinza vaviri havagoni kuvapo. Nokuda kwepurogiramu ipi neipi f iyo ingasarudza kana mapurogiramu akamira, purogiramu "yechirwere" g, inodanwa nechimwe chinhu chinopinda, inogona kupfuudza chayo pachayo uye chayo chinopinda ku f uye zvino inonyatsoita zvakapesana nezvinofungidzirwa kuti f g ichaita. Hapana f inogona kuvapo iyo inobata iyi nhau. Chikamu chinokosha chechiratidzo chacho tsanangudzo yemasvomhu yekombiyuta nepurogiramu, iyo inozivikanwa somuchina weTuring; chinetso chokumisa hachikwanisi kugadziriswa pamichina yeTuring. Ndomumwe wemienzaniso yokutanga yezvinetso zvokusarudza zvinoratidzirwa kuva zvisingagoni kugadziriswa. Uchapupu uhwu hunokosha kuti mashandiro computing kuedza, kurondedzera kirasi mafomu kuti hapana programming kuvamba anogona kuita zvakakwana.
Chinetso chokumira hachigadzirisiki.