Геркулес и гидра (что такое ординалы)

Несколько дней назад я предложил задачу о Геркулесе и гидре; на следующий день я записал в дневнике решение, которое использует ординальную арифметику — которую меня попросили объяснить для тех, кто с этим незнаком, но хочет понять решение. Я попробую это сделать, на очень элементарном уровне, в этой записи. Отдельно - не здесь, а в другой записи - мне ещё предстоит объяснить, почему у этой задачи нет простого решения, и почему использование ординалов, или сопоставимых с ними по сложности математических абстракций, неизбежно при решении этой задачи.
( Read more... )

лытдыбр

Позавчера был на литературном вечере. Устроено это было так: участники подготовили любимые и нравящиеся стихи из поэтов примерно фетовского круга. И зачитывали по одному стиху по кругу. Плюс просто болтали, конечно. А после более узкой компанией пошли в кафе "Две сестры", о котором я не знал и которое мне очень понравилось. Это две таких йеменских сестры его хозяйки, Чехов отдыхает.

Вечер вышел очень милым, хотя я ничего подготовить совершенно не успел, и поэтому уже на месте сориентировался и нашёл что-то, что когда-то нравилось у Фета. Чего, кстати, немного.

Из того, что зачитывали другие, совершенно новыми для меня были стихи Мея и Апухтина, в которых оказалось много любопытного. И Полонского, которого я читал, но мало. Короче говоря, я пришёл к выводу, что надо читать Мея, Апухтина и Полонского. А то у меня непростительные лакуны там, выходит.

Поэтому вчера в библиотеке заказал их сборники и почитал немного. Причём Апухтин и Мей попались дореволюционные, а Полонский был представлен изданием 50-х годов 20-го века, которое оказалось принадлежащим в прошлом поэтессе Лее Гольдберг (в нём её экслибрис был). Особо поразившие меня стихи потом набью сюда (каких в сети не найду).

Мей и жиды

Лев Александрович Мей (1822-1862) представлен в сети двумя коллекциями:

• Мей на Стихие (около 40 стихотворений)
  
• Мей на Друзьях с партнёрами (95 стихотворений)

Второе собрание, более полное, включает в себя полюбившуюся мне по позавчерашнему прочтению матёрой силы Секстину. Советую читать вслух и с выражением. Где-то к третьей строфе сплетения рифм начинают звучать очень качественным китчем. Куда там Кибирову!..

Но даже и там нет эпического по своему величию стихотворения "Жиды", которое — уверен — в советское время вообще не переиздавалось ввиду своей общей неполиткорректности. Вот оно. Перевожу всё в новую орфографию, хотя в старой это ещё сильнее выглядит - но ятей же никто не увидит, некузяво. Пунктуацию издания 1911-го года сохраняю.

ЖИДЫ

( Read more... )

Геркулес и гидра (невозможность "простого решения")

Эта запись продолжает цикл: задача о Геркулесе и гидре, решение, объяснение арифметики
ординалов.

Наконец можно рассказать о самом (с моей точки зрения) интересном. Строго доказать я ничего не смогу, слишком много предварительной механики пришлось бы доказывать, но подробно объяснить и дать ссылку смогу.

Начну издалека — формальной логической системой PA (сокращённо Peano Arithmetic).
( Read more... )