> Никому не приходило в голову натур-испытывать, скажем, таблицы натуральных логарифмов. Ну не совсем: таблицы простых чисел
> стали уже исследовать, но это всё же в некотором смысле натуральный объект, а не конструкт...


Ну вот же тебе, Глобальный Оптимизатор испытывает и простые и прочие натуральные числа. Предлагает "гроссиан" (Самое Большое Натуральное Число) со всеми вытекающими (континуум-гипотеза, гипотеза Римана...Далее везде)