Re: Godel proved maths inconsistent not incompleteness theorem

On Mar 27, 2:54 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
On Mar 26, 5:28 pm, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

On Mar 25, 2:25 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

On Mar 24, 10:46 pm, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

Neither you nor anyone else has ever claimed that any of the dozen or
so proofs that I have posted is not a proof.  Yet you state the
opposite.

In at least one other thread, I told you that your purported "proofs"
in your paper are not proofs. I discussed that in some detail at that
time.

Proof : "An English exposition that shows us that some assertion must
be true."

In mathematical logic, we also have more technical definitions. So in
a given context, we need to understand which sense of proof is in
play.

I would define a proof more formally along the lines of: "The
execution history of an effective procedure that has one input and one
output, the latter being the single value TRUE."

This suggests that perhaps we should talk in terms of any such
procedure that outputs either TRUE or FALSE, rather than focusing on
the single value TRUE at this primitive level.

(Also, the above definition - of the informal sense - should
natural languages other than English.)

Formalization of a proof: "A list of sentences that are axioms or
derived via a rule from earlier sentences."

That would be along the lines we mean when we speak of 'proof' in the
more formal sense.

Formal proof: "A formalization of a proof plus a function that maps it
to a proof."

Interesting.

From: Comprehensive Book of Logic, 4th edition

I'd like to find that book. Who is the author?

I believe it's by Carlos Barkley Livingston.

Nobody says my proofs are not proofs.  Do you?

I say that you claimed there are proofs in the paper you asked me to
read a few months ago, but there are no proofs (in the formal sense)
and no proof that I now recall (in any sense) there.

I get the impression you are a 3rd year graduate student.  Am I close?

Such impressions of yours are utterly valueless to me.

MoeBlee

.