A constructivism line in mathematics and computing of XX–XXI centuryдоклад на конференции