Автор: WinAx

В этом году лауреатами премии Абеля, считающейся одной из высших наград в области математики, стали Ави Вигдерсон и Ласло Ловас за их вклад в теорию сложности и теорию графов, которые связывают математику и информатику.

В этот День числа Пи я предлагаю вам поиск числа Пи. Нет, не в числах, а в том, что это значит для информатики, что немного отличается от того, что это значит для математики. Дело в символах, а не в числах.

Недавняя и продолжающаяся неразбериха в Интернете — это утверждение и спор о том, что задача факторизации достижима за полиномиальное время. Если бы это было правдой, это поставило бы под угрозу наиболее часто используемую криптографическую систему с открытым ключом и сделало бы нужду в квантовых компьютерах недействительной.

Лямбда-исчисление — это теоретическая конструкция, часто используемая для того, чтобы заставить нематематически склонных программистов подчиняться — это и моноиды. Теперь у нас есть Calc Intelligence, исследовательский проект Microsoft по внедрению лямбда в Excel — поговорим о башнях из слоновой кости …

Некоторые из наших новостей заслуживают второго шанса. Вот один из мая 2020 года, который соответствует нашим критериям «Слишком хорошо». На самом деле это не новость, но я думаю, что это весело и заслуживает более широкой известности. Это проблема робота-панды, также известная как проблема обрезки бамбукового сада (BGT).

Хорошо, новые доказательства того, что вещи NP трудные, настолько распространены, что мы отказались от них сообщать, но эта — новая игра от факультета математики и информатики Технологического университета Эйндховена — это весело. Это обобщение хорошо известных точек и прямоугольников.

Это забавный проект, который вполне может предложить интересные продолжения. И вам не обязательно быть экспертом в игре в жизнь, чтобы присоединиться к ней.

Столько дней с числами Пи, столько цифр — и все же это остается загадочным и завораживающим. Я даю вам несколько глубоких мыслей об иррациональном трансцендентальном.