The Skolem paradox destroys the incompleteness of ZFC

  • Thread starter gamel
  • Start date
  • #1
3
0
The Australian philosopher colin leslie dean argues that
The Skolem paradox destroys the incompleteness of ZFC

Crackpot link removed

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:

Answers and Replies

  • #2
3
0
from colin leslie dean

Crackpot link removed

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:
  • #3
13
0
The Australian "philosopher" colin leslie dean seems to have been extremely drunk when he wrote this paper.
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,833
964
I suspect that any one 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.
 
  • #5
3
0
WHAT DOES gamahucher MEAN i wonder
 
  • #6
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
CLD is a crackpot, and you were banned once already for this.
 

Related Threads on The Skolem paradox destroys the incompleteness of ZFC

  • Last Post
Replies
1
Views
3K
Replies
2
Views
1K
Replies
18
Views
2K
  • Last Post
Replies
13
Views
7K
  • Last Post
Replies
3
Views
645
Replies
2
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
18
Views
2K
Replies
40
Views
1K
Replies
16
Views
1K
Top