Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Что вообще хотели сказать этой фразой?

А зачем ты притащил сюда эту безграмотную фразу?
Если бы указал источник, было бы понятно, что поглумиться над сказавшим.

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Что вообще хотели сказать этой фразой?

А зачем ты притащил сюда эту безграмотную фразу?
Если бы указал источник, было бы понятно, что поглумиться над сказавшим.

ЭФ>Мне непонятно, как эта "изученность" позволят доказывать корректность программ.
ЭФ>Ничего общего. И да, доказательство корректности программ по прежнему не поддаётся моему пониманию, периодически возвращаюсь к этой теме.

Ну а это вполне канает на отдельную тему.