Вычислено значение числа "Занятого бобра" BB(5)
Группа энтузиастов и исследователей объявила о доказательстве точного значения для 5-го числа "Занятого бобра" (Busy Beaver).
Задача Busy Beaver заключается в поиске программы для машины Тьюринга определенного размера, которая выполняет наибольшее количество шагов перед остановкой. Значение BB(5) оказалось астрономическим, и его вычисление потребовало формальной верификации в системе Coq, чтобы исключить ошибки в доказательстве остановки миллионов машин.
Related items
Последнее от Александр
- Английский сленг: фразы и выражения на английском с переводом
- Промышленная безопасность - как теория вероятностей помогает прогнозировать аварии на ОПО
- Финансовая математика печати: как рассчитать реальную стоимость владения принтером
- Лучшие нейросети для написания текстов
- Гнеденко Борис Владимирович