Beefy Boxes and Bandwidth Generously Provided by pair Networks
We don't bite newbies here... much
 
PerlMonks  

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

by hv (Parson)
on Aug 03, 2004 at 23:20 UTC ( #379856=note: print w/replies, xml ) Need Help??


in reply to Re^5: 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 am not greatly interested in automated proofs, but rather in tools to assist humans in developing proofs and studying them - I'm talking more about distributed databases and user interfaces than about anything from AI, and about using strict validation techniques to replace the need for a trust model such as peer review.

In respect of the even/odd thing, I may have misremembered what I was trying to prove: I'd have to find back my notes from my teenage years. I'm sure the problem revolved around proving a negation, and was intended to be a stepping stone to playing with prime numbers; I suspect it was less to do with the axioms as P1 .. P5, and more to do with the axioms as (P1 .. P5 plus the permitted rules of logic as described by Hofstadter).

Hugo

  • Comment on Re^6: 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://379856]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others meditating upon the Monastery: (4)
As of 2021-03-01 07:31 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    No recent polls found

    Notices?