Re: JSH: Logic and paradox

On 10 Okt., 21:47, tommy1729 <tommy1...@xxxxxxxxx> wrote:
On Oct 6, 6:05 am, Rotwang <sg...@xxxxxxxxxxxxx>
wrote:
James Harris wrote:
[...]
As consider the suppose paradoxical statement:

Consider a set of all sets that exclude
themselves.

That's not a statement. [...]

That's right; it's a command. Consider! Now!

the idea is similar to liar paradox like euh bogus.

i dont usually support JSH ideas , but i dont like the current bogus state of logic and cantor set theory.

such examples like the liar paradox and even JSH ideas are consistant in the sence they show inconsistancy in the current state of logic and cantor set theory.

so math is inconsistant as godel said ?

no cantor needs to be replaced ; that is the fix.

godel's theory uses set theory and the liar paradox.

and also godel's theory states incompleteness or inconsistancy ; however does not judge its own proof.


What is there to judge about his proof?
It is base on certain widely accepted mathematical theories
and shows that certain theories (including the base of his proof)
are either inconsistant or incomplete.
Since it is widely believed that the theories used are consistant,
it follows (under that belief) that they are incomplete.
We can somewhat invert Hilber: "We cannot know. We will not know."


only other axioms or proofs , but not itself.

and by that induction , we dont have a proof , or it is undecidable.

The proof is correct within its axiomatic framework.
Maybe you are trying to talk about is the quality of the
underlying axiom system, but:
If that system is consistant, then Godels theorem is provable (a
proof
has been published).
If that system is inconsistant, then everything is provable in a
ridiculous manner via (P & ~P) -> Q; but the given proof of Goedel
seems no to be of that kind. I would be grateful (or maybe not)
if you exhibited a proof of a result like P & ~P.

Do you have *any* (useful, non-empty) axiom system at hand
that can be shown to be consistant from within itself
or preferably from a weaker axiom system?


you might not believe my arguments , but go check out his work , and you find exactly that he does not judge its own theory and uses a set theory and the liar paradox.

Hm, should I infer from this that *other* authors *do* judge their own
theory
and end their papers with "and not only have I proved a theorem, but I
am
also sure that it is true, just believe me"?

The easy fix is, consider a set of all sets that
exclude themselves,
except itself.

not a bad fix on seconds thoughts id say.

It's a bad fix already on first thought.
What is that supposed to mean anyway?
A set of all sets that exclude themselves except itself?
This is just a mixture of JSH-ism with early zuhair set theory.
Believe me, repairing unlimited comprehension by switching
to almost unlimited comprehension does not work.


seems like JSH is right on accident...

Unbelievable things happen in an infinite universe.
But not that one.


or do you care to give a better solution to the problem ?


Currently, I don't have a problem to solve.

hagman

.

Relevant Pages

  • Re: Hans startling new set theory.
    ... and still all the main theories are inconsistent ... > A little bit of Physics would be NO Idleness in Mathematics. ... is a THEOREM that any sufficiently powerful axiom system is unable to ... > on Set Theory as its foundation par excellence, ...
    (sci.math)
  • Skolems Paradox and why is math the way it is?
    ... of set theory exist, specifically a countable model exists. ... Why do mathematicians like a nondescriptively complete axiom system as ...
    (sci.math)
  • Re: Proofs
    ... Be it hilber style, gentzen style what ever. ... Take any axiom system for set theory. ... ZFC or NBG or what ever. ...
    (sci.logic)
  • Re: JSH: Logic and paradox
    ... the idea is similar to liar paradox like euh bogus. ... i dont usually support JSH ideas, but i dont like the current bogus state of logic and cantor set theory. ... such examples like the liar paradox and even JSH ideas are consistant in the sence they show inconsistancy in the current state of logic and cantor set theory. ...
    (sci.math)
  • Re: JSH: Logic and paradox
    ... i dont usually support JSH ideas, but i dont like the current bogus state of logic and cantor set theory. ... such examples like the liar paradox and even JSH ideas are consistant in the sence they show inconsistancy in the current state of logic and cantor set theory. ...
    (sci.math)