Как писать программы с математическим совершенством

[duke_alba]

Спасибо за статью! Последний раз я слышал о доказательствах корректности алгоритма где-то в 1985м году. Тогда проблема считалась нерешаемой на практике...