most recent 30 from http://mathoverflow.net 2013-05-22T02:48:55Z http://mathoverflow.net/feeds/user/25349 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48771/proofs-that-require-fundamentally-new-ways-of-thinking/103159#103159 none 2012-07-26T05:53:45Z 2012-07-26T05:53:45Z

<p>Turing's solution of Hilbert's Entscheidungsproblem. The new idea was to invent the Turing machine and "virtualization" (the universal Turing machine).</p>