Beefy Boxes and Bandwidth Generously Provided by pair Networks
XP is just a number
 
PerlMonks  

Re^2: What do you know, and how do you know that you know it?

by thraxil (Prior)
on Aug 02, 2004 at 16:16 UTC ( #379319=note: print w/replies, xml ) Need Help??


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. :)

  • Comment on Re^2: What do you know, and how do you know that you know it?

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://379319]
help
Chatterbox?
[holli]: i got super stoned last night, had a large pizza, half an apple pie, two oranges, a banana, and half a bar of chocolate
[holli]: oh and a handful of gummy bears
[erix]: "macht die Kleine froh und die grosse ebenso!"
[erix]: (or something like that)
[holli]: you do know i'm a guy, right?
[erix]: why does that matter?

How do I use this? | Other CB clients
Other Users?
Others chanting in the Monastery: (8)
As of 2017-11-22 08:55 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    In order to be able to say "I know Perl", you must have:













    Results (316 votes). Check out past polls.

    Notices?