Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct

In comp.theory olcott <polcott333@gmail.com> wrote:

On 11/9/2024 4:28 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 11/9/2024 3:45 PM, Alan Mackenzie wrote:

[ .... ]

Gödel understood mathematical logic full well (indeed, played a
significant part in its development),

He utterly failed to understand that his understanding
of provable in meta-math cannot mean true in PA unless
also provable in PA according to the deductive inference
foundation of all logic.

You're lying in your usual fashion, namely by lack of expertise.  It is
entirely your lack of understanding.  If Gödel's proof was not rigorously
correct, his result would have been long discarded.  It is correct.

Even if every other detail is 100% correct without
"true and unprovable" (the heart of incompleteness)
it utterly fails to make its incompleteness conclusion.

You are, of course, wrong here.  You are too ignorant to make such a
judgment.  I believe you've never even read through and verified a proof
of Gödel's theorem.

Perhaps you simply don't understand it at that level
thus will never have any idea that I proved I am correct.

More lies.  You don't even understand what the word "proved" means.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).