Список проголосовавших за комментарий "Александр Акулов, ага, любую, только какая то идея потребует вычислительных мощностей, которых не существует во вселенной.<br/> <br/> Как, кстати, по поводу автоматического доказательства теорем? Проблему останова уже решили?"