August 11th, 2010

def

Гвозди бы делать из этих людей


В MarginalRevolution обнаружилась пара ссылок на сюжеты из области фундаментальной логики.

Во-первых (см. обе ссылки пункта 5), было предъявлено нечто, претендующее на решение проблемы P vs. NP: утверждается, что таки P ≠ NP, но компетентные люди сильно сомневаются в корректности доказательства. Данная задача является одной из семи «проблем миллениума», решение которых премируют миллионом долларов за шт. После того, как питерец Григорий Перельман успешно и, как оказалось, бескорыстно разобрался с одной из этих проблем, их осталось шесть, в том числе и про P и NP. Соль истории в том, как специалист по теории вычислений Скотт Ааронсон вышел из положения ленивого эксперта: он не пожелал вникать в якобы доказательство, но не захотел и политкорректно воздержаться от однозначного суждения. Посему Ааронсон просто дал слово довыплатить автору доказательства ещё двести тысяч долларов из собственных сбережений, если эксперты премии миллениума присудят за это доказательство миллион, как уже присудили Перельману. По-моему, сильный ход. Хватает ведь лёгких на оценки комментаторов, которым сразу ясно, как обстоят дела на самом деле, хоть им и недосуг для начала разобраться в этих самых делах. То есть мнение они имеют, но отвечать за него не в состоянии. А вот Ааронсон — в состоянии.

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

Чего только не узнаешь из вообще-то экономического блога...

UPD, 16 августа: Пара новых записей в MarginalRevolution о развитии сюжета про P и NP: раз и два (по второй ссылке см. п. 1 и ниже комментарий от Bill Kaminsky). В общем, лучшие сводки, судя по всему, следует читать здесь, и вроде бы доказательство уже зарезали, так что Ааронсону не придется раскошеливаться. Ну да посмотрим.