Wednesday, May 26, 2010

25 мая Хоф-Ашкелон подвергся ракетному обстрелу


О пострадавших, или причинении ущерба имуществу на данный момент не сообщается.

http://cursorinfo.co.il/news/novosti/2010/05/25/ashkelon/

Польские эксперты: крушение самолета Качиньского произошло по вине пилотов


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

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

http://txt.newsru.co.il/arch/world/26may2010/klikh456.html
UPDATE: http://cursorinfo.co.il/news/world/2010/05/26/kachin/
http://txt.newsru.com/arch/world/25may2010/blasik.html
http://txt.newsru.com/arch/world/26may2010/poland.html

Россия: количество беспризорных детей достигло показателей Гражданской войны

http://txt.newsru.co.il/arch/world/26may2010/eladim456.html

Общественный совет Нью-Йорка утвердил строительство мечети рядом с Ground Zero


Американские СМИ подчеркивают, что решения Совета не имеют законодательной власти и не обязательны к исполнению, однако являются своеобразным и довольно точным барометром общественного мнения.

http://txt.newsru.co.il/arch/world/26may2010/zero476.html

UPDATE:

Активисты - противники строительства мечети собирают в интернете подписи под петицией с требованием отказаться от постройки религиозного здания. 6 июня в Нью-Йорке должна состояться уличная акция протеста против строительства.

http://cursorinfo.co.il/news/world/2010/05/26/mizhas/

Теракт в центре Ставрополя: погибли посетители Дворца культуры


Трое из пострадавших погибли на месте, четвертый умер по дороге в больницу. Ранения получили 13 человек.

http://txt.newsru.co.il/arch/world/26may2010/stavr456.html

UPDATE:

По последним данным, в результате происшествия погибли шесть человек. Число раненых у разных источников разнится - до 46 человек по данным МЧС...Взрыв признан терактом.


http://txt.newsru.com/russia/26may2010/aquarium.html
http://cursorinfo.co.il/news/xussr/2010/05/26/stavropol/

17 мая японское агентство JCR понизило кредитные рейтинги России


Японское рейтинговое агентство - JCR понизило долгосрочные рейтинги России по обязательствам в иностранной валюте до "BBB" с " BBB+", в национальной валюте - до "BBB+" с "A-"...Рейтинги остаются в категории "инвестиционных". Прогноз рейтингов изменен с "негативного" на "стабильный".

Fitch Ratings в феврале понизило долгосрочные рейтинги РФ в иностранной и национальной валюте с уровня "BBB+" до "BBB"...

http://txt.newsru.com/arch/finance/17may2010/jcr.html

Кудрин: через 10 лет юань может стать мировой резервной валютой

http://txt.newsru.com/arch/finance/17may2010/kudrin.html
http://rian.ru/economy/20100515/234692990.html

Подозрения на теракт в Тель Авиве

В прямом эфире по 2 каналу сказали, что ищут араба, который встал в автобусе и крикнул: "смерть евреям". Полиция начали розыск его. Никто не пострадал.

UPDATE: Террористическая тревога в Тель-Авиве: полиция прочесывает улицу Дизенгоф

UPDATE Полиция Тель-Авива поднята по тревоге

UPDATE Полиция не может отыскать террористов в Тель-Авиве - новые подробности

Афины готовы пустить китайский бизнес в такие стратегически важные отрасли, как транспорт и туризм




http://txt.newsru.com/finance/24may2010/china_greece.html
http://www.rbcdaily.ru/2010/05/24/world/480396

Сегодня прозвучала учебная сирена

Cм. также Учения "Поворотная точка-4": "Израиль подвергся ракетному обстрелу
См. также "Поворотная точка-3": тревожную сирену услышали не везде

У меня на работе сирену не было слышно. Более того, в июне 2009 года, я тогда ещё не работал здесь, но как раз искал новую работу. Мне было назначено собеседование как раз на 11 утра того дня, когда должна была прозвучать сирена. Сирены я не слышал, мне это не очень понравилось, однако, я был уверен, что это устранят, в конце концов именно для этого и проводят учения.

Какого же было мое удивление, когда сегодня, уже работая тут, тоже не услышал сирену. Несмотря на это в 11 утра по часам, все, как и год назад, дружно встали и пошли в защищённое пространство. За неделю до учений на каждом видном месте были развешены указания как надо себя вести во время сирены, куда идти, сколько времени быть и куда звонить, если сирена не будет услышана. Работает тут довольно много людей, поэтому я был уверен, что многие уже позвонили и в курсе происходящего. Ещё большее было моё удивление, когда позвонив на этот номер, я понял, что я первый, кто позвонил. Меня попросили провести мини-опрос и узнать может кто слышал, может только с одной стороны не слышно и т.п. Опросив людей я выяснил, что никто чётко не слышал сирену. Если специально напрячь слух, то в некоторых местах можно было услышать сирену с соседних кварталов. Мне было обещано, что свяжутся со службой управления тылом и устранять этот недочёт.

P.S. Речь идёт о севере Израиля, при определённой настойчивости можно найти и место, которое я имею в виду, однако, я специально его не указываю в этой заметке.

Пхеньян разрывает все связи с Сеулом и выходит из соглашения о ненападении


Конфликт на Корейском полуострове продолжает разгораться. Власти КНДР приняли решение заморозить все связи с Южной Кореей и выйти из соглашения между Севером и Югом о взаимном отказе от агрессии...

...в ответ на провокационные действия Сеула, "бездоказательно возложившего на Пхеньян ответственность за гибель южнокорейского корвета "Чхонан", КНДР приняла ряд жестких мер. Отныне южнокорейским судам и самолетам запрещено пересекать соответственно территориальные воды и воздушное пространство КНДР. Все проблемы, связанные с межкорейскими отношениями, "будут рассматриваться в Пхеньяне по законам военного времени"...

...Ситуация на Корейском полуострове обострилась на прошлой неделе после объявления в Сеуле результатов расследования обстоятельств гибели корвета "Чхонан" южнокорейских ВМС в Желтом море 26 марта, недалеко от рубежей КНДР. При этом погибли 46 моряков, 58 спаслись.

Международный следственный комитет представил 20 мая доказательства того, что подводная лодка ВМС КНДР выпустила торпеду по южнокорейскому корвету. Республика Корея с самого начала обвиняла КНДР в этой атаке на свое судно. Однако в Пхеньяне упорно отрицают причастность к произошедшему и угрожают "сильным физическим ударом", если Южная Корея попытается напасть на нее.

...Вооруженные силы Северной Кореи приведены в полную боевую готовность, сообщило южнокорейское агентство Йонхап...

...Как сообщили представители Пентагона, в скором времени должны состояться совместные учения ВМС США и Южной Кореи.

Стороны планируют отработать ответные действия в случае атаки подводных лодок предполагаемого противника, под которым подразумевается КНДР...


Ниже есть продолжение.


...Решение КНДР о разрыве всех связей с Южной Кореей является "странным", оно не отвечает долгосрочным интересам северокорейских граждан. Об этом заявил сегодня журналистам официальный представитель госдепартамента США Филип Кроули.

"Южная Корея представляет собой одну из наиболее динамичных экономик в мире, - сказал он. - Экономика же Северной Кореи, даже по их собственному признанию, является слаборазвитой. Северная Корея неспособна позаботиться о своих гражданах, она неспособна накормить своих людей".

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

Глава американского внешнеполитического ведомства заявила, что поддержание мира на Корейском полуострове – общая ответственность США и КНР.

МИД Китая, в свою очередь, заявил, что страна готова к совместной работе с США и другими государствами.

Именно позиция Китая может стать решающей в разрешении очередного кризиса между Пхеньяном и Сеулом.

КНР, обладающая правом вето в Совете Безопасности ООН, являлась главным противником жестких мер в отношении КНДР.

Во вторник в Сеул прибыл специальный представитель Китая по корейским делам У Давэй.

В среду туда же должна прибыть Хиллари Клинтон.

http://txt.newsru.com/world/25may2010/koreas.html
http://txt.newsru.com/world/26mar2010/morskoy_boy.html
http://txt.newsru.com/world/20may2010/doklad.html
http://txt.newsru.com/world/26mar2010/grozit.html
http://www.bbc.co.uk/russian/international/2010/05/100525_koreas_ties.shtml
http://www.bbc.co.uk/russian/international/2010/05/100525_north_korea_military.shtml

О компьютерных доказательствах

Насколько мне известно, а известно мне это от профессора Идо Эфрата, не все математики принимают "компьютерные доказательства". При чём, он имел в виду не "автоматические доказательства теорем", а именно перебор вариантов, когда, к примеру, доказательство теоремы разбивают на разные случаи, большинство доказывается в общем виде, а часть доказывается с помощью простого перебора вариантов. Если мне не изменяет память, одна из так называемых теорем "о раскраске" доказана таким образом, а также часть теорем в теории Галуа.

При этом он объяснял причину такого скепсиса. Нет, это не проблема округления. Дело в том, что и процессор и память на физическом уровне могут привести к сбою к вычисление. Грубо говоря, иногда у компьютера 2+2 может быть 5. Бывает это крайне редко, вероятность этого содержит очень много нулей. Однако, когда производят очень много математический вычислений, такой сбой может произойти. В частности, при распределённых вычислениях, это обстоятельство учитывается. Google, обрабатывает столько информации, что у него есть специальные алгоритмы, которые позволяют находить эти ошибки. Обычно, однако, просто повторяют вычисления ещё раз, иногда, на компьютерах другой архитектуры. Если получают разный результат - был сбой, если один и тот же, то вероятность ошибки очень сильно сокращается и её обычно пренебрегают.

Именно поэтому, никогда нельзя быть до конца уверенным, что в компьютерном доказательстве нет ошибки. Единственный способ, по Идо Эфрату, это проверить, это повторить все вычисления, шаг за шагом в ручную.

UPDATE: Реальный пример сбоя работы памяти, любезно предоставленный Ильёй Весенним.

UPDATE: Как мне указали в комментариях, "одна из так называемых теорем "о раскраске"" является проблемой четырёх красок.

UPDATE 17-08-2014:
Компьютер проверил доказательство гипотезы Кеплера