It is not the case that Theoretical algorithms of 'little practical significance' have repeatedly driven foundational insights that later became practically indispensable, as Turing's halting problem work illustrates.
?Set your confidence on the premises below to see your aggregate.