Вычисления методом Монте-Карло с сотнями тысяч сэмплов вы будете проделывать на бумажке? Множество Мандельброта карандашиком нарисуете?
Ну, я, конечно, не отрицаю, что на компьютере вычислений можно сделать больше, чем на бумажке. Да, можно ещё собрать множество людей и засадить их за вычисления на длительный срок. Так, кстати, делали в СССР, когда разрабатывали первые атомные бомбы. Тогда, согласно определению, этот "Монте-Карло с сотнями тысяч сэмплов" будет относиться к обычной математике. А ежели на компьютере считать - то к экспериментальной.
Так объясните, ради бога, почему вычисления на бумажке - это не экспериментальная математика, а на компьютере - экспериментальная? Вычисления-то одинаковые, разница только в количестве.
А если речь идёт не о численных расчётах, а о логических рассуждениях (доказательство теорем), то тут, как правило, компьютер от человека отстаёт.
А Вы Манифест-то читали?
Вообще, любое доказательство можно считать экспериментом.
Почему доказательство, которое я сочинил в своей голове - это не экспериментальная математика, а точно такое же доказательство, которое сочинил компьютер, - экспериментальная?