Добавить комментарий

Изображение пользователя ipanshin.

Зеркало и мартышка

Давайте вспомним великого Крылова и его басню про зеркало, в которое смотрится мартышка. Так вот алгоритмы и программы относятся к категории зеркал, в котором люди видят собственные ошибки или баги, которые копошатся в их голове. Так не смешно ли вдвойне заниматься исправлением ошибок в программе тем более доказательством ее правильности алгоритмов и программ? То есть мы хотим выправить изображение, оставив собственную кривизну восприятия на том же самом месте? Или оригинал, который смотрится в зеркало настолько велик и непогрешим? Это же нонсенс.
Разве отсюда не следует, что работать нужно прежде всего над оригиналом? И изображение в зеркале исправится само собой. Мы же делаем с точностью до наоборот. Мы говорим, что если перед зеркалом будет стоять группа "обезьян" (извините, я не хочу никого обидеть), обладающая знаниями доказательства правильности в изображении кода, то программа получится безошибочной. надо еще доказать, что можно исправить в обезьяне баг мысли через отображение мыслительного процесса в зеркале.
И вообще смешно.:)

Осенние шорохи

Осень листвою опавшей шуршит
В такт по аллее шагу,
В голых полях бесконечной души
В цвет листопада прилягу.

Та бесконечность и павшего цветь,
Что было когда-то зелено,
Было б за счастье здесь умереть,
Глядя на мир твой влюбленно.

В цвет листопада здесь мысли мои,
Твое подвенечное платье,
Комьями черной остывшей земли
Чувства, желанья, объятья.

( можно так
Комья черной остывшей земли
Чувств моих бренных собратья
)

Осень листвою опавшей шуршит
В ритме моих шагов,
В голых полях непонятной души
Шорохи, шорохи слов …

5 октября 2008