"...наивысшее число допустимое для доказательства"
Любые числа допустимые. Это число долго держало первенство как самое большое число, встречающееся в содержательной математической теореме. Сейчас, наверное, уже нет.
Вы правы: Graham's number [уже значительно превышающее упомянутое мною], куда меньше чем lower bound for TREE(3) [Friedman (2002) , Kruskal's tree theorem] - так что чего там, 7 биллионов (американских триллионов) туда - семь сюда... ну что мы в самом деле переживаем. Скоро эти цифры замелькают в новостях, чтоб у читаюшей публики чувство масштаба занемело и bailout как rescue прошёл. Конечно, учитывая что это половина всего произведённого Штатами за последний год... Да, такая прорва в последнию раз была во время New Deal, как убалдусом верно подмечено
Comments 2
Любые числа допустимые. Это число долго держало первенство как самое большое число, встречающееся в содержательной математической теореме. Сейчас, наверное, уже нет.
Reply
Reply
Leave a comment