Приветствую Вас, уважаемые Читатели! 3 мая 2016 года, в Arxiv.org было представлено самое большое математическое «доказательство» (или, точнее, проверка), занимающее 200 терабайт. Математики из Университета Техаса в Остине с помощью компьютерных методов решили задачу о булевых пифагоровых тройках. На решение задачи ушло два дня непрерывной работы 800-процессорного суперкомпьютера. Размер предыдущего рекордного доказательства был «всего» в 14 гигабайт. Формулировка задачи Существуют тройки натуральных...

Привет, друзья! Эту теорему, я уверен, знают все, кто учился в школе. Огромное количество вариантов её доказательства можно встретить на просторах интернета. Среди всего этого многообразия я хочу выделить два наиболее мне близких...