BB(10) превысил число Грэма: новая машина Тьюринга с 10 состояниями
BB(10) > Graham's Number
Джефф87654 представил машину Тьюринга n1 с 10 состояниями, которая останавливается с пустой ленты и превосходит число Грэма. Её точная оценка доказана в Coq без аксиом. Машина работает на уровне f_(ω+1) быстрорастущей иерархии, обходя предыдущий рекорд BB(10), находившийся на уровне ω. Это достижение сдвигает границу для задачи о занятом бобре.
Машина, проверенная в Coq, показывает, что ones > числа Грэма.