Godel proved there are true statements, whichever are unprovable!!
Isn't interesting?
That forever dashes the hope we can prove all mathematical facts.
http://en.wikipedia.org/wiki/Kurt_G%C3%B6del
It also has interesting consequences for what we can calculate algorithmically.
No comments:
Post a Comment