Colin leslie dean proves mathematicians are dumb


Colin leslie dean proves mathematicians are dumb

an academic from cambridge who wrote a bigggggggggg book on godels proof
did not know godel used the axiom of reducibility in it -as do all the
other math brains

http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf

quote

"The system P of footnote 48a is Godelâ??s
streamlined version of Russellâ??s theory of types built on the natural
numbers as individuals, the system used in [1931]. The last sentence ofthe
footnote allstomindtheotherreferencetosettheoryinthatpaper;
KurtGodel[1931,p. 178] wrote of his comprehension axiom IV,
foreshadowinghis approach to set theory, â??This axiom plays the role of
[Russellâ??s]
axiom of reducibility (the comprehension axiom of set theory).â??




also mathematicians
dont know the skolem paradox meant ZFC/ZF was inconsistent-any
undergraduate philosophy student could see that- even Abraham freankel
saw that


quote

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

they say it appears to be a contradiction but not one of them can prove it
is not a contradiction
and being a contradiction means set theory is inconsistent until the
skolem paradox is solved-any 1st year philosophy student can see this but
the maths brains cant

and
also
they did not know godel used a rejected system PM
with an invalid axiom in his incompleteness proof

quote

â??In the Introduction to the second edition of Principia, Russell
repudiated Reducibility as 'clearly not the sort of axiom with which we
can rest content'â?¦Russells own system WITH OUT reducibility was
rendered incapable of achieving its own purposeâ??

http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: model theory: Whats the big picture?
    ... suppose I know someone who is going to teach himself calculus. ... Axiom of Choice all the time. ... that assuming AC is going to lead to a contradiction, ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: Godel Contradiction
    ... OK Godel Says: ... ... for all consistent systems T there exists a true unprovable ... Z set theory is such a formal theory in which we may prove ... In the case of Z set theory, Tis not an axiom, since Tis not ...
    (sci.logic)
  • Re: Some basic set theory questions
    ... remarks so that they can be generalized without reliance on some ... we don't need the axiom of infinity to prove there is ... virtually unanimously used in modern set theory textbooks) to prove ... that I'm talking about ordinary Z set theories. ...
    (sci.math)
  • Re: Some basic set theory questions
    ... remarks so that they can be generalized without reliance on some ... we don't need the axiom of infinity to prove there is ... virtually unanimously used in modern set theory textbooks) to prove ... that I'm talking about ordinary Z set theories. ...
    (sci.math)
  • Re: Small set theory.
    ... if yey -> yey ... contradiction doesn't lie in yey -> yey, ... Ok, I should develop axiom 6, the axiom that I have posted latelly ... However this set theory will be as follow: ...
    (sci.math)