"Jesteśmy skazani na śmierć"

asteroida2 (jak napisał to powinno być asteroid;)) napisał:
> To nieprawda. Modyfikuje się wyłącznie dane, czyli stan komputera.
> Funkcja przejść komputera jest zawsze ta sama: "wykonaj instrukcję
> procesora odpowiadającą danym aktualnie znajdującym się w
> rejestrach".
Oczywiście. Każdy zbiór skończony ma skończony kwadrat kartezjański co pociąga za sobą skończony zbiór funkcji. Tyle, że nie zajmujemy się tu konkretnymi komputerami a nieskończoną ich ilością z rosnącymi zasobami. Podobnie jak z liczbami naturalnymi. Do zapisania każdej potrzeba skończonej ilości kartek papieru (dla niektórych zabrakło by protonów we Wszechświecie). Jednak wszystkich się nie da zapisać. Podobnie nie podasz definicji wszystkich komputerów możliwych do skonstruowania. Maszyna Turinga potrzebna jest do udowodnienia: jeśli algorytm jest na niej poprawnie wykonywalny to będzie poprawnie wykonywalny na każdym komputerze, który zapewni odpowiednią ilość zasobów. Niestety takiego czegoś nie ma i nigdy nie będzie:(:(:( Dowody muszą przeprowadzać omylni ludzie. Fajnie by było gdyby można było mówić komputerowi z wyrocznią co ma zbudować a potem kasować kasiorę;)

Sam procesorek (własny) można też skonfigurować inaczej w trakcie obliczeń: będzie inaczej reagował na te same kody instrukcji. To tak na dokładkę jeśli chodzi o pisanie czegoś co sprawdza program;)