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
-
Are you posting in the right place? Check out Where do I post X? to know for sure.
-
Posts may use any of the Perl Monks Approved HTML tags. Currently these include the following:
<code> <a> <b> <big>
<blockquote> <br /> <dd>
<dl> <dt> <em> <font>
<h1> <h2> <h3> <h4>
<h5> <h6> <hr /> <i>
<li> <nbsp> <ol> <p>
<small> <strike> <strong>
<sub> <sup> <table>
<td> <th> <tr> <tt>
<u> <ul>
-
Snippets of code should be wrapped in
<code> tags not
<pre> tags. In fact, <pre>
tags should generally be avoided. If they must
be used, extreme care should be
taken to ensure that their contents do not
have long lines (<70 chars), in order to prevent
horizontal scrolling (and possible janitor
intervention).
-
Want more info? How to link
or How to display code and escape characters
are good places to start.
|