Еще одна попытка

[rwalk]

Несколько часов назад Джастин Мур (Justin Moore) разослал электронное письмо с сообщением о том, что он отзывает свое доказательство аменабельности группы Томпсона.  Оно содержалось в препринте, появившемся на архиве 3 недели назад. За последние несколько лет это уже четвертая известная мне попытка. Мур представлялся более серьезным, чем предыдущие

Comments

новый акт драмы

[falcao]

О, да! Я как бы в курсе дела, и мне доказательство тоже казалось правильным. Обнаружение ошибки было большой неожиданностью

[rwalk]

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

степень доступности

[falcao]

Какой вопрос в данном случае считается "спорным"? Я считаю, что если есть объективная возможность переформулировать что-то в "олимпиадных" терминах, то её желательно использовать. При этом не утверждается, что решать задачу следует тоже на таком именно языке -- подходы могут быть какие угодно. Но я считаю, что чем "доступнее" формулировка, тем она интереснее.

correction

[markvs]

Дырку не он сам обнаружил. Ему на нее указал Азер Ахмедов.

One more correction

[markvs]

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