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. :)
Once (shame on you!)
Twice (shame on me!)
More often than I'd like to be
All the time
Just when answering stupid polls
Who you callin' a fool?
I refuse to vote in this ridiculous poll
Results (445 votes). Check out past polls.