Are you familiar with Undecidable problems:

_URL_1_

and specifically the Halting problem?:

_URL_0_

Also an important excerpt:

 > Alan Turing proved in 1936 that a general algorithm running on a Turing machine that solves the halting problem for all possible program-input pairs necessarily cannot exist.
ඔබ අවිනිශ්චිත ගැටළු ගැන හුරුපුරුදුද: _URL_1_ සහ විශේෂයෙන්ම නවතා දැමීමේ ගැටලුව?: _URL_0_ එසේම වැදගත් උපුටනයක්: &gt; ඇලන් ටියුරින් 1936 දී ඔප්පු කරන ලද්දේ ටියුරින් යන්ත්‍රයක ක්‍රියාත්මක වන සාමාන්‍ය ඇල්ගොරිතමයක් මඟින් හැකි සියලුම ක්‍රමලේඛ-ආදාන යුගල සඳහා නැවතීමේ ගැටලුව විසඳිය නොහැකි බවයි. පවතිනවා.