Вот, какие дела.
В весеннем номере журнала Mathematical Intelligencer английские специалисты по математической логике доказали, что гипотеза о тождестве "решаемых" и "нерешаемых" задач станет аксиомой, если кто-то найдет алгоритм игры в «Сапер». В среду в Гарварде состоялась специальная математическая конференция, посвященная этой незатейливой игре. Игра не выглядит особенно сложной и, с первого взгляда, не может привлечь серьезного внимания ученых-теоретиков. Однако, фокус заключается в том, что эта игра на первый взгляд кажется логически вычисляемой, но в какой-то момент в процессе "открывания мин" логика перестает действовать, и игроку приходится действовать наугад.
Эксперты считают, что тот, кто напишет программу для полного и логического решения «Сапера», будет занесен в сонм величайших математиков на свете, его имя будет стоять рядом с именами Пифагора и Эйлера. Ну и, конечно, этот великий математик получит 1 миллион долларов в качестве поощрительного приза. )))))))
взято с Посилання видалено