A colleague sent this URL to me, and I am really curious to hear what others think!<br>
<br>
Title: Mathematical Proofs Getting Harder to Verify<br>
<br>
Excerpt: <br>
<p style="font-style: italic;">A mathematical proof is irrefutably true, a manifestation of pure
logic. But an increasing number of mathematical proofs are now
impossible to verify with absolute certainty, according to experts in
the field.</p>

        
        
        
        
        
        
            
<p style="font-style: italic;">"I
think that we're now inescapably in an age where the large statements
of mathematics are so complex that we may never know for sure whether
they're true or false," says Keith Devlin of Stanford University in
California, US. "That puts us in the same boat as all the other
scientists."</p>
<br>
Link to story: <a href="http://www.newscientist.com/channel/fundamentals/dn8743.html" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.newscientist.com/channel/fundamentals/dn8743.html</a>
<br clear="all"><br>-- <br>Jennifer Christian Smith<br>Assistant Professor
<br>Center for Science and Mathematics Education<br>The University of Texas at Austin<br>Office: (512) 232-9682<br>Fax: (512) 471-8460<br>Home page: <a href="http://teachnet.edb.utexas.edu/%7Ejenn_smith" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
http://teachnet.edb.utexas.edu/~jenn_smith
</a><br>AIM: drjennsmith