Mathematician Harvey Friedman believes he has found a way to demonstrate incompleteness in everyday mathematics. via Nautilus.