Add to ORKGPojam „algoritam“ je suštinski intuitivan. Prilikom opisivanja istog, formalizacija se čini kao korektnija opcija zbog nepreciznosti i problema s interpretacijom govornog jezika. To je učinjeno pomoću Turingovog stoja, koji se ističe kao jedno od pogodnih rješenja imajući u vidu glavna svojstva i zahtjeve koje svaki algoritam mora zadovoljavati. Nadalje, opisan je pojam izračunjivosti po Turingu, pojam univerzalnog Turingovog stroja, te problem zaustavljanja Turingovog stroja. U tom kontekstu, formulirana je metoda dokazivanja algoritamske nerješivosti masovnih algoritamskih problema metodom svodivosti njihove rješivosti na nerješive masovne algoritamske probleme. Metoda je izložena i primijenjena nad nekoliko primjera dokazivanja nerješivo...