in reply to Re^11: Odd Ball Challenge
in thread Odd Ball Challenge

I think problem statement is more confused than that. Reading between the lines, I think the challenge maybe boils down to something like...
  1. We're given a set of axioms
  2. We're told a particular statement is true
  3. Find a set of inference rules which can provide a proof of #2, starting with the axioms
Thoughts? Anyone?

Replies are listed 'Best First'.
Re^13: Odd Ball Challenge
by QM (Parson) on Jul 14, 2005 at 14:03 UTC
    Yes, it makes me think of the 4-color map theorem.

    It also makes me think of Gödel's theorem.

    Which leads me to contemplate a theorem generating system that takes a set of axioms, generates all of the theorems in that system, compares them to a list of proven results in various systems, and determines which results can't be proven with those axioms (and the subset that are actually contradicted).

    -QM
    --
    Quantum Mechanics: The dreams stuff is made of

[reply]

In Section Meditations