“While mathematics remains our most rigorous form of knowledge, the extreme complexity and length of some recent proofs have made them nearly impossible to check. As proofs continue to grow more complicated, mathematicians worry they will have to accept a greater degree of uncertainty than they’ve traditionally been comfortable with.”
http://seedmagazine.com/content/article/mathematical_uncertainty
TOK Topics 