От спекулятивных к практическим основаниям математики. Часть 1доклад на конференции