in reply to Re: What do you know, and how do you know that you know it?in thread What do you know, and how do you know that you know it?
I'd like to see a project to prove all known maths in this way, using declared rules of logic and steps small enough to permit computer verification - it boils down to nothing but symbolic manipulation.
it's called the Principia Mathematica. :)
There is no Extraterrestrial life
There aren't any suitably capable Extraterrestrials
Interstellar travel is too difficult
We're too uncool / not worth the trouble
What do you mean they haven't visited?
Results (565 votes). Check out past polls.