Здравствуйте, Эйнсток Файр, Вы писали:
ЭФ>Что вообще хотели сказать этой фразой?
А зачем ты притащил сюда эту безграмотную фразу?
Если бы указал источник, было бы понятно, что поглумиться над сказавшим.
ЭФ>Мне непонятно, как эта "изученность" позволят доказывать корректность программ. ЭФ>Ничего общего. И да, доказательство корректности программ по прежнему не поддаётся моему пониманию, периодически возвращаюсь к этой теме.