Re: This makes all Analytic(Olcott) truth computable

On 8/18/24 7:47 AM, olcott wrote:

On 8/18/2024 5:32 AM, Mikko wrote:

On 2024-08-17 14:45:45 +0000, olcott said:
>

On 8/17/2024 9:40 AM, Richard Damon wrote:>>>

No, you said that "ALL THEY DID" was that, and that is just a LIE.
>
They developed a full formal system.
>

>
They did nothing besides change the definition of
a set and the result of this was a new formal system.

>
Yes they did. They did show that the new system is similar enough to
the old systems to be called "set theory" and sufficiently useful.
>

 They redefined the notion of a set in set theory and that
by itself got rid of Russell's Paradox. Mostly this disallows
a set to be a member of itself.
 I redefine the notion of formal system in math and logic
and this by itself gets rids of undecidability. Mostly this
rejects self-contradictory expressions.
 

But that is an act you can not do by the rules of logic.
You CAN create a new system with your new definition, which you are welcome to try to spend your next 20 years or so doing (if you still have them), but you can not just change the definitions in the existing systems, as that just doens't work, and your attempting to do so just shows your ignorance of how Formal Logic works.