September 11th, 2002

moose, transparent

9/11: лента фифа

Наверное, далеко не все знают о существовании архива ленты фифа за 11-е сентября 2001-го года.

(для новичков: лента фифа - это лента, в которой появляются записи всех (или почти всех) русских юзеров ЖЖ, называемых также ласково лжеюзерами)

Вчера сидел, перечитывал её. Вспоминал, как лихорадочно старался уследить за ней, и за комментариями, и за телевизором год назад.

Там в какой-то момент начинают появляться записи по-английски юзера circlek. Это я его тогда временно включил в список друзей фифа, чтобы у всех, кто её листает (а небось пару сотен человек как минимум этим в тот день были заняты) был этот источник информации. Сайты новостей, если кто помнит, были перегружены и не отзывались. А circlek в тот день успевал сообщать обо всём быстрее телевизора, это было потрясающе -- правда, и достоверные сведения, и слухи, и спекуляции -- да и трудно было их тогда отличить друг от друга.

А за архив этот большое спасибо юзеру emdin.

P.S. Только при чтении его надо помнить, что на каждой отдельной странице записи появляются, как и обычно в ленте друзей, в обратном хронологическом порядке. Чтобы читать строго от ранних записей к поздним, надо каждую страницу просматривать снизу вверх.
moose, transparent

о теории множеств и исключённом третьем

На рассылке FOM обсуждают доказательства, использующие закон исключённого третьего нетривиальным и неконструктивным образом. Это значит, что, например, в процессе доказательства какого-то утверждения X мы используем следующую конструкцию:
  • если Y верно, то... [цепочка рассуждений приводящая к док-ву X]
  • если Y неверно, то... [другая цепочка рассуждений, тоже приводящая к док-ву X]
При этом мы можем не интересоваться или даже не знать того, верно на самом деле Y или нет (в этом и состоит неконструктивность использования закона исключённого третьего, который гласит: "либо Y, либо не-Y").

Я недавно приводил пример любимого мной доказательства, построенного таким образом. Правда, там мы знаем, верно Y или нет -- просто это показывается куда менее тривиальными методами, чем само доказательство.

А вот очень красивый, по-моему, пример (с рассылки, courtesy of Joe Shipman), такого же рассуждения, где Y - гипотеза континуума (независимая, как известно из работ Гёделя и Коэна, от других аксиом теории множеств).
Collapse )
moose, transparent

постройте свой комикс

Забавная штука, позволяющая построить свой трёхпанельный комикс, используя заданный репертуар героев. Довольно ограниченный репертуар, но в этом есть как раз своя прелесть.

Например:
Прямой линк на страницу стройки комикса: здесь.
moose, transparent

очепятки в Яндексе

Интересная страница результатов игры "Очепятка" в рамках кубка Яндекса.

Много интересных опечаток, и почти каждая иллюстрирует какой-нибудь недостаток современной русской орфографии, причём почти всегда это какое-нибудь исключение из фонемного принципа. Забытых или переставленных букв очень мало (отправлно, интренет - в самом низу списка).