Трансрекурсивная теория: Переосмысление пределов вычислимого роста
От Тьюринга до гугологии: где кончается вычислимоеВ математике есть особый момент, когда цифры перестают быть просто числами. Когда они начинают вести себя как существа, живущие в собственных мирах. Эти миры — разные уровни роста функций. Их жители — экспоненты, тетрации, гипероперации, а дальше — целые легионы чисел вроде TREE(3), Graham’s Number или Busy Beaver. Всё началось почти век назад. Алан Тьюринг построил формальную модель вычислений — машину, которая может имитировать любой алгоритм. С тех пор вопрос о том, что можно вычислить, стал фундаментом компьютерной науки.
Удивительные приключения сознания в математической вселенной Тегмарка
(upd: Название обновлено, чтобы лучше соответствовать содержанию статьи. Прошлое название: Нескромные следствия скромной аксиомы или теоретические основы попаданчества)Вводное слово.
