On Thursday, August 10, 2017 at 2:19:17 PM UTC+2, Maciej Sobczak wrote:
> > Automatyczne sprawdzanie poprawności to "święty Graal" informatyki.
>
> Może nie informatyki, ale w weryfikacji jako działce inżynierii oprogramowania, na
pewno by się przydało.
>
> > Co prawda udowodniono matematycznie że nie może istnieć maszyna Turinga
> > sprawdzająca poprawność innej maszyny Turinga
>
> Nic nie szkodzi. Nikt zdrowy nie robi maszyn Turinga, więc fakt, że jakaś tam
jeszcze inna maszyna Turinga nie może istnieć, nie jest dla nikogo żadnym dramatem.
>
> Ciekawszym tematem jest napisanie programu, np. w C, do sprawdzania poprawności
innego programu, np. w C.

Dlaczego? Na MT też można napisać program w C, jakie różnice masz
na myśli? Z teoretycznego punktu widzenia jest ważna różnica,
ale pomiędzy komputerem a MT, nie pomiędzy językiem. Komputer ma
(póki co) skończoną pamięć, MT nieskończoną.

Pozdrawiam