The Skolem paradox destroys the incompleteness of ZFC

  • Thread starter Thread starter gamel
  • Start date Start date
  • Tags Tags
    Paradox Zfc
gamel
Messages
3
Reaction score
0
The Australian philosopher colin leslie dean argues that
The Skolem paradox destroys the incompleteness of ZFC

Crackpot link removed[/color]

The Skolem pardox shows ZFC is inconsistent
Undecidability of ZFC is based on the assumption that it is consistent
therefore
the presence of the Skolem paradox shows ZFC is not consistent
so all those proofs that show the incompleteness of ZFC are destroyed
undermined and complete rubbish
 
Last edited by a moderator:
Physics news on Phys.org
from colin leslie dean

Crackpot link removed[/color]

The paradox is seen in Zermelo-Fraenkel set theory. One of the earliest results, published by Georg Cantor in 1874, was the existence of uncountable sets, such as the powerset of the natural numbers, the set of real numbers, and the well-known Cantor set. These sets exist in any Zermelo-Fraenkel universe, since their existence follows from the axioms. Using the Löwenheim-Skolem Theorem, we can get a model of set theory which only contains a countable number of objects. However, it must contain the aforementioned uncountable sets, which appears to be a contradiction


"At present we can do no more than note that we have one more reason here to entertain reservations about set theory and that for the time being no way of rehabilitating this theory is known." – (John von Neumann)

"Skolem's work implies 'no categorical axiomatisation of set theory (hence geometry, arithmetic [and any other theory with a set-theoretic model]...) seems to exist at all'." – (John von Neumann)

"Neither have the books yet been closed on the antinomy, nor has agreement on its significance and possible solution yet been reached." – (Abraham Fraenkel)

"I believed that it was so clear that axiomatization in terms of sets was not a satisfactory ultimate foundation of mathematics that mathematicians would, for the most part, not be very much concerned with it. But in recent times I have seen to my surprise that so many mathematicians think that these axioms of set theory provide the ideal foundation for mathematics; therefore it seemed to me that the time had come for a critique." – (Skolem)
 
Last edited by a moderator:
The Australian "philosopher" colin leslie dean seems to have been extremely drunk when he wrote this paper.
 
I suspect that anyone who publishes through something called the "gamahucher press" spends a fair amount of time drunk.

I also suspect, though not as surely, that "gamel" is "The Australian philosopher colin leslie dean" and runs that press.
 
WHAT DOES gamahucher MEAN i wonder
 
CLD is a crackpot, and you were banned once already for this.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top