израильский патриотизм

В фильме "The Italian Job" в какой-то момент специалистка по сейфам замечает, что ей придётся иметь дело не с тем сейфом, что она думала, а с другим — подменили; и она говорит испуганно: это, дескать, другой совсем сейф, куда круче, израильской работы.

Когда мы этот фильм смотрели недавно, сразу после этой фразы в зале пошла спонтанная волна аплодисментов и одобрительных возгласов. А сегодня узнал от знакомого, что когда он его вчера смотрел, то же самое было. Видимо, это само собой происходит чуть ли не на всех сеансах.

все флаги в гости будут к нам

Ещё один рубеж подминания Живым Журналом под себя всей остальной жизни преодолён: в ЖЖ, оказывается, есть участница международного конкурса красоты. Это юзерша _nusik_, офигительно красивая, между прочим.

P?=NP: возможный новый результат

Появился свежий препринт; один из авторов - известный учёный. В статье содержатся очень сильные утверждения по поводу несуществования формальных доказательств P!=NP (P?=NP - самая знаменитая нерешённая проблема в computer science; если вы ничего о ней не знаете, вряд ли всё остальное в этой записи будет понятно) Авторы утверждают в частности, что не существует формального доказательства P!=NP ни в одном полиномиальном (в смысле времени распознавания аксиом) омега-консистентном расширении PA (Peano Arithmetic). С практической точки зрения, это очень близко к "P!=NP недоказуемо", и если доказательство будет принято... многое в этой научной области изменится.

К сожалению, у меня совершенно нет никакой возможности в ближайшие несколько дней как следует прочитать этот препринт и попытаться проверить доказательства. Я пробежал глазами основные определения и теоремы - выглядит очень интересно и явно не любительские бредни. Если кто-то будет это читать в ближайшее время, расскажите о ваших впечатлениях, пожалуйста. Я постараюсь освободить время для чтения этого препринта ближе к концу рабочей недели или на выходных.

дневник

Ухожу из ЖЖ на полтора дня, до вторника после обеда. По крайней мере очень надеюсь, что ухожу, и что хватит сил завтра весь день и послезавтра утром сюда не заходить — потому что кое-где аврал, требующий полной сосредоточенности и всего имеющегося и неимеющегося времени.

Если зайду сюда завтра, гоните меня поганой метлой.