Математики рассчитали значение девятого числа Дедекинда

N+1Наука

Математики нашли девятое дедекиндово число. В нем оказалось 42 знака

Это 286386577668298411128469151667598498812366

Александр Дубов

de9b2e94d83378553e7535cc479b5227.jpg
Коллаж N + 1. Источники: Watchduck / Wikimedia Commons; Lennart Van Hirtum et al. / arXiv, 2023

Группа математиков из Бельгии и Германии и немец Кристиан Якель независимо друг от друга рассчитали значение девятого числа Дедекинда — то есть количества монотонных булевых функций девяти переменных. Предыдущее, восьмое число нашли еще в 1991 году. Чтобы найти девятое число, состоящее из 42 знаков, математикам пришлось адаптировать уже известные формулы для параллельных вычислений. Первая группа специально для расчетов сделала программируемую вентильную матрицу, а немецкий математик — использовал вычисления на графических процессоры, пишут ученые в препринтах на arXiv.org.

Дедекиндово число — число монотонных булевых функций, которые можно задать для определенного числа переменных. И переменные, и функции могут принимать только два значения: 0 и 1 (или true и false).

Чем больше переменных, тем больше число. Например, если переменных 0, то функций может быть только две: f = 0 и f = 1. Для одной переменной — три функции: f(x) = 0, f(x) = 1 и f(x) = x. Для двух переменных к ним прибавляются еще три: вторая переменная f(x,y) = y, а также логическое И (xy), и логическое ИЛИ (xy). Для трех аргументов число функций возрастает уже до 

Авторизуйтесь, чтобы продолжить чтение. Это быстро и бесплатно.

Регистрируясь, я принимаю условия использования

Рекомендуемые статьи

Пятнистую гиену встретили в Египте впервые за 5000 лет Пятнистую гиену встретили в Египте впервые за 5000 лет

В Гебель-Эльба, Египет, впервые за 5000 лет встретили пятнистую гиену

N+1
Древние римляне тоже разводили и любили Древние римляне тоже разводили и любили

Собаки были любимыми питомцами римлян

ТехИнсайдер
1647-летний можжевельник из Финляндии назвали старейшим древесным растением тундры и Европы 1647-летний можжевельник из Финляндии назвали старейшим древесным растением тундры и Европы

Старейший можжевельник из Финляндии рос с 260 по 1906 год

N+1
«Он и в жизни такой?»: как Богдан Лисевский высмеял жанр интервью и покорил YouTube «Он и в жизни такой?»: как Богдан Лисевский высмеял жанр интервью и покорил YouTube

Как Богдану Лисевскому удалось покорить российское медиапространство?

Forbes
Совет от ученых, как есть достаточно белка, если отказаться от яиц Совет от ученых, как есть достаточно белка, если отказаться от яиц

Какие альтернативные варианты белка стоит добавить в свой рацион?

ТехИнсайдер
Из подряда вон: как киберпреступники эксплуатируют доверие компаний-партнеров Из подряда вон: как киберпреступники эксплуатируют доверие компаний-партнеров

Риск эксплуатации доверия сегодня входит в топ-5 наиболее критичных

Forbes
Парк городских аэротакси практически готов к полетам. Но есть проблема Парк городских аэротакси практически готов к полетам. Но есть проблема

Скоро аэротакси поднимутся над городами, но еще есть нерешенные проблемы

ТехИнсайдер
Только для женщин Только для женщин

Симптомы, которые сигнализируют, что тебе срочно нужно на прием к гинекологу

Лиза
Больше витаминов Больше витаминов

Топ-9 полезных соков и когда пить их не рекомендуется

Лиза
Кто ты без костюма: история непростых взаимоотношений моды и комиксов Кто ты без костюма: история непростых взаимоотношений моды и комиксов

Как американские комиксы и супергерои проникли в моду

Правила жизни
«Пятница!» — это фабрика хороших новостей» «Пятница!» — это фабрика хороших новостей»

Своей невероятной энергией Тина Канделаки заряжает легко и сразу

OK!
Почему люди боятся своих цифровых двойников Почему люди боятся своих цифровых двойников

Развиваются приложения deepfake, которые позволяют создавать ИИ-клоны человека

ТехИнсайдер
Советский кутюр: история пяти культовых платьев и их создательниц Советский кутюр: история пяти культовых платьев и их создательниц

Самые известные советские платья: футуристичный Октябрь и африканские мотивы

Forbes
Антон Уткин — о том, как найти свое счастье, занимаясь чем-то эфемерным Антон Уткин — о том, как найти свое счастье, занимаясь чем-то эфемерным

Сценарист Антон Утки — почему порой горящие глаза гораздо важнее правил

РБК
Почему спортивная одежда должна быть синтетической? Почему спортивная одежда должна быть синтетической?

В чем преимущество синтетической спортивной формы?

Maxim
Китай, нам надо культурно поговорить Китай, нам надо культурно поговорить

Что объединяет современных россиян и граждан КНР?

СНОБ
Ешь и худей: какие продукты могут ускорить метаболизм? Ешь и худей: какие продукты могут ускорить метаболизм?

Как ускорить обмен веществ, не ночуя в тренажерном зале?

ТехИнсайдер
Что такое нейрографика? Что такое нейрографика?

Практика, в которой работают руки и… чувство прекрасного

Psychologies
Туманные горизонты Туманные горизонты

Компаниям придется продолжить адаптацию к радикально изменившимся условиям

РБК
Бочка отсчёта Бочка отсчёта

Превосходное вино немыслимо без выдержки в превосходных дубовых бочках

Robb Report
Привычки, которые портят твои ноги — не делай так, если хочешь носить мини и шорты Привычки, которые портят твои ноги — не делай так, если хочешь носить мини и шорты

Нагрузка помогает сделать ножки подтянутыми, но может вызвать и обратный эффект

VOICE
Глубоководные осьминоги спустились на 2600 метров ради охоты Глубоководные осьминоги спустились на 2600 метров ради охоты

Большую часть времени эти осьминоги проводят в толще воды, а охотятся на дне

N+1
Русский рыболовный корабль попал в шторм. Рецензия на фильм «Снегирь» Русский рыболовный корабль попал в шторм. Рецензия на фильм «Снегирь»

Почему новый фильм «Снегирь» Бориса Хлебникова можно назвать политическим

СНОБ
Женщина села в тюрьму якобы за убийство своих детей. Но через 20 лет выяснилась правда! Женщина села в тюрьму якобы за убийство своих детей. Но через 20 лет выяснилась правда!

История женщины, которая провела в заключении 20 лет из-за ложного обвинения

ТехИнсайдер
Как «усыпить» герпес? Как «усыпить» герпес?

Почему же летом так часто на губах расцветает «простуда»?

Здоровье
ИИ выяснил, что сказки полны гендерных предубеждений. Надо что-то менять ИИ выяснил, что сказки полны гендерных предубеждений. Надо что-то менять

Система искусственного интеллекта, которая анализирует детские сказки

ТехИнсайдер
Как ликерные вина стали самой многострадальной категорией российского виноделия Как ликерные вина стали самой многострадальной категорией российского виноделия

Мы живем в стране победившего портвейна

Forbes
Свежевыжатые соки Свежевыжатые соки

Какие плюсы и минусы скрываются в ароматных соблазнах свежевыжатых соков?

Здоровье
Шурыгина, Солнцев, Бугатти: что стало с героями скандальных ток-шоу Шурыгина, Солнцев, Бугатти: что стало с героями скандальных ток-шоу

Как же сейчас выглядят и чем живут одни из самых ярких звездочек на один эфир?

VOICE
«Я не хотел жениться на девушке с ребенком»: онкобольной Дмитрий Спиридонов признался, почему опасался Лену Катину «Я не хотел жениться на девушке с ребенком»: онкобольной Дмитрий Спиридонов признался, почему опасался Лену Катину

Дмитрий Спиридонов признался, что не видел совместного будущего с Леной Катиной

VOICE
Открыть в приложении