August 31st, 2002

moose, transparent

о Гёделе и Изабелле, take 2

Написал длинную и подробную запись о: доказательстве Гёделя от 40-го года непротиворечивости аксиомы выбора, конструктивной вселенной, V=L, и недавней формализации этого доказательства Ларри Польсоном из Кембриджа, в формальной системе Isabelle (ссылки: описание док-ва; само док-во со всеми определениями, автоматически сгенерированное, больше 200 страниц). И ещё о том, как я попытался изучить эту самую Изабеллу попристальнее, но понял, что мне не хватает адекватного понимания лямбда-исчисления (которое уже давно пора изучить, мне мешает эта дырка) и языка ML, на к-м Изабелла написана.

А ЖЖ взял да и съел мою длинную и подробную запись, и не поперхнулся. Я в шоке. Писать его заново нет сил и желания, так что пусть будет хоть это вместо него.
  • Current Mood
    disappointed disappointed
moose, transparent

о новый, новый мир

Читаю свежий номер "Нового мира" (сентябрь этого года). Некий Владимир Губайловский ведёт WWW-обозрение:
Никогда ни один поэт при настоящей поэтической работе не пользовался словарем рифм и пользоваться не будет. Потому что поэт рифмы не сочиняет, не подбирает, не ищет. Если четверостишие не рождается как целое, вместе со всеми рифмами и прочими аллитерациями, то как бы хороши ни были две первые строки, скорее всего, они будут отправлены на переплавку.

Рифма рождается “случайно” при встрече созвучных слов. Перед поэтом всегда стоит творческая задача, в которой поиск рифмы играет исключительно служебную роль, и выполняется этот поиск — как и все создание поэтического текста — интуитивно, даже если пишется венок сонетов.

Да-да. Чеверостишие "рождается как целое". А черновиков у поэтов так вообще не бывает. И рифм они не ищут.

Сколько самоуверенной благоглупости! И главное, какой старой, надоевшей глупости. Сколько ещё десятилетий и столетий обречены мы повторять один и тот же лубочно-роматический бред?