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

olcott <polcott333@gmail.com> wrote:

On 11/10/2024 4:19 PM, Alan Mackenzie wrote:

[ .... ]

Russell's paradox is a different thing from Gödel's theorem.  The latter
put to rest for ever the vainglorious falsehood that we could prove
everything that was true.

Ah so you don't understand HOW ZFC eliminated Russell's Paradox.

Russell's Paradox has no relevance to the current discussion.

We can ALWAYS prove that any expression of language is true or not
on the basis of other expressions of language when we have a coherent
definition of True(L,x).

Another lie by lack of expertise.

That Gödel relies on True(meta-math, g) to mean True(PA, g)
is a stupid mistake that enables Incomplete(PA) to exist.

As I said, you're an uneducated ignorant boor.  You're wrong there.  How
do you even know that Gödel even used "meta-math"?  You haven't read his
paper.

--
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).