Przeczytałem wiele artykułów, w których stwierdzono, że kod nie może być wolny od błędów, i mówią o tych twierdzeniach: Problem z zatrzymaniem Twierdzenie Gödela o niekompletności Twierdzenie Rice'a W rzeczywistości twierdzenie Rice'a wygląda jak implikacja problemu zatrzymania, a problem...