Computability theory emerged from 'impractical' halting problem work, enabling modern compiler optim...
This proposition has not been edited since the history system was added.