Сучасні математики Юрій Рудавський (ректор Національного університету «Львівська політехніка» з 1991 до 2007-го) і А. Прикарпатський з цього приводу відзначали: «І хто знає, чи зумів би стати Корольов першим конструктором космічних кораблів, якби не участь і наукова школа академіка Михайла Кравчука».