23-07-2023
Экспериментальная математика — новая область современной математики, отличающаяся использованием вычислительной техники для получения новых фактов (теорем) в математике.
Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т.д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете.
Содержание |
Математика, в отличие от других естественных наук, изучает не явления природы, а логические построения, поэтому эксперименты в математике являются не испытанием природы, а испытанием гипотез в условиях логики.
Группа экспериментальной математики в 2008 году приняла "Манифест экспериментальной математики", в котором были установлены основные определения экспериментальной математики. "Что же тогда мы будем понимать под экспериментальной математикой? Под экспериментальной математикой мы понимаем те математические исследования, которые стали доступны при использовании вычислительной техники, те методы математики, в которых используются элементы машинных вычислений. Экспериментальная математика – получение математических положений с помощью вычислительной техники", (из манифеста экспериментальной математики).
Основным методом экспериментальной математики являются доказательные вычисления, в ходе которых результаты вычислений используются для строгого доказательства математических фактов.
Экспериментальная математика.