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. :)
Went to join the gridlock to see it
Held an eclipse party
Watched a live feed
I cn"t see tge kwubosd to amswr thus
I tried to see it, but 8000 miles of rock got in the way
Wanted to see it, but they wouldn't reschedule it
Read the book instead
Results (273 votes). Check out past polls.