Re: Pure Math and Applied Math

Rotwang wrote:
OK James, here, as advertised, I will present a python script to verify formal proofs of statements in zeroth order logic with the usual axioms and rule of inference.

[snip]

Hmmm....you think you succeeded?

As I said, it worked for all the trial inputs I tried.

Ok, how about a test then? Prove 1+1 = 2.

Since my program is a proof checker, not a theorem prover, that
question is irrelevant. Also, since my program checks proofs in zeroth
order logic, and since the statement you asked me to prove is not a
statement in zeroth order logic, your question is doubly irrelevant.
Why not just cut your losses and admit that you haven't understood a
word of the actual maths that I have written? Or, better still,
actually learn something so you can check for yourself whether the
program I gave does what I said it does, which is precisely an example
of what your challenge asked me to do (whether you realised it or not).

Check out http://en.wikipedia.org/wiki/Propositional_calculus , in
particular the section labelled "Example 1. Simple axiom system".

-Rotwang

.