“Theoretical ideas have a real-life impact,” said Michael Oser Rabin in a 2009 interview, and he spent nearly seven decades ...