Персональный блог учителя математики Цуцуриной Алены Александровны

Ученые из США и Великобритании заявили о крупнейшем по объему занятой компьютерной памяти доказательстве в истории математики. Препринт с исследованием опубликован на сайте arXiv.org, кратко о нем сообщает издание Nature. Для решения булевой проблемы пифагоровых троек специалисты использовали суперкомпьютер Stampede Техасского университета в Остине (США). Его расчеты заняли 200 терабайт памяти, что равно всей оцифрованной крупнейшей библиотеке мира (Библиотека Конгресса). В использованном учеными подходе проблема является переформулированной теоремой Шура для площадей, доказательство которой предполагает два предписания. Первое из них включает нахождение ответа на вопрос, может ли множество натуральных чисел (1, 2, 3 и так далее) быть разделено на две части таким образом, чтобы ни одна из них не содержала бы пифагоровых троек (то есть чисел a, b и c таких, что a2 + b2 = c2). Второе предписание говорит о необходимости разделения чисел при помощи булевых переменных. Получ

Пользователи социальных сетей не могут прийти к единому мнению при решении детской задачки про лошадей, подковы и сапоги, которую опубликовал один из пользователей Facebook. В задачке предлагается решить несколько уравнений с неизвестными, которые нужно определить, исходя из представленных сумм и разностей. Львиная доля пользователей полагает, что правильный ответ — 48, другие считают, что верный вариант — 42. Среди распространенных вариантов ответа — 44, 22, 16 и 13. Подвох состоит в том, что в последнем вычислении число предметов, которые предлагалось складывать и отнимать до этого, меняется, что легко не заметить. Запись набрала почти 14 тысяч перепостов в Facebook и больше полумиллиона комментариев. Похожий ажиотаж в соцсетях наблюдался, когда пользователи решали задачку о бананах, кокосах и яблоках, составленную по аналогичн

Вот некоторые из тех, что называются самыми интересными и трудными. Посмотрите например на Самую трудную в мире судоку. Одной из самых популярных в мире разновидностей кроссворда является судоку — японская головоломка с числами. Её принцип несложен, поэтому многие любители стараются создать свои варианты. В 2012-м году финский математик Арто Инкала заявил, что разработал «самую трудную в мире судоку». Как сообщает британская газета «The Telegraph», если самые простые из распространённых вариантов судоку по шкале сложности обозначить, как «1», а наиболее сложные из популярных оценить на «5», то предложенный математиком вариант тянет на «11». Самая сложная логическая головоломка Есть три бога, A, B, и C, один из которых бог истины, другой бог лжи и третий бог случая, причём неясно, кто из них кто. Бог истины всегда говорит правду, бог лжи обманывает, а бог случая может сказать и то, и другое в произвольном порядке. Необходимо определить, кем является каждый из