... Полная версия этой страницы: проблема несоответствия . Студенческий форум Физфака МГУ > Наука физика > Другое . ... Компьютер вывел математическое доказательство, слишком сложное для человека . Двое математиков русского происхождения из Ливерпуля, Алексей Лисица и Борис Конев, придумали интересную дилемму: что будет, если заставить компьютерную программу решить математическую задачу, но решение будет слишком сложным и длинным, чтобы его проверил человек? ... Цитата . ...