Алгоритмы в информатике, вроде как, делают то, что нужно. Однако это является аргументом в пользу адекватности только части математики
Адекватность понятие не формализуемо, поэтому говорить о том, что "математика не адекватна" можно только дав понять, что вы конкретно имеете в виду, например как это делал Арнольд с примером существования решения дифф. ура