Внедрение науки в информатику
В жизни очень мало вещей, которые можно доказать, кроме математики. Даже в этом случае в качестве отправной точки требуется принятие нескольких аксиом. Тем не менее, большинство программных систем написаны таким образом, что предварительные условия считаются безусловно истинными.
