Halting problem

Už od 30. let minulého století se ví, že existují problémy, které se nedají algoritmicky rozhodnout (vyřešit). Pokusím se tady srozumitelnou cestou ukázat, že takový neřešitelný problém existuje. Je to taková pěkná zajímavost z teoretické informatiky a pochopí ji snad každý laik.

Continue reading