> 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.

--
Maciej Sobczak * http://www.inspirel.com