The Naked Scientists
  • Login
  • Register
  • Podcasts
      • The Naked Scientists
      • eLife
      • Naked Genetics
      • Naked Astronomy
      • In short
      • Naked Neuroscience
      • Ask! The Naked Scientists
      • Question of the Week
      • Archive
      • Video
      • SUBSCRIBE to our Podcasts
  • Articles
      • Science News
      • Features
      • Interviews
      • Answers to Science Questions
  • Get Naked
      • Donate
      • Do an Experiment
      • Science Forum
      • Ask a Question
  • About
      • Meet the team
      • Our Sponsors
      • Site Map
      • Contact us

User menu

  • Login
  • Register
  • Home
  • Help
  • Search
  • Tags
  • Recent Topics
  • Login
  • Register
  1. Naked Science Forum
  2. On the Lighter Side
  3. New Theories
  4. Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction
« previous next »
  • Print
Pages: [1]   Go Down

Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction

  • 2 Replies
  • 2279 Views
  • 0 Tags

0 Members and 1 Guest are viewing this topic.

Offline sim (OP)

  • Jr. Member
  • **
  • 42
  • Activity:
    0%
  • Thanked: 2 times
Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction
« on: 11/01/2019 22:07:11 »
Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction

http://gamahucherpress.yellowgum.com/wp-content/uploads/MATHEMATICS.pdf

The meaninglessness of mathematics

Axiomatic set theory ZFC was in part developed to rid mathematics of its paradoxes such as Russell's paradox

The axiom in ZFC developed to do that, ad hoc,is the axiom of separation


Quote
. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension): If z is a set, and \phi\! is any property which may characterize the elements x of z, then there is a
subset y of z containing those x in z which satisfy the property. The "restriction" to z is necessary to avoid Russell's paradox and its variant

Now Russell's paradox is a famous example of an impredicative construction, namely the set of all sets which do not contain themselves

The axiom of separation is used to outlaw/block/ban impredicative statements like Russells paradox

but this axiom of separation is itself impredicative


Quote
"in ZF the fundamental source of impredicativity is the seperation axiom which asserts that for each well formed function p(x)of the language ZF the existence of the set x : x } a ^ p(x) for any set a Since the formular
p may contain quantifiers ranging over the supposed "totality" of all the sets this is impredicativity according to the VCP this impredicativity is given teeth by the axiom of infinity

but the axiom thus bans itself-thus ZFC is inconsistent

[axiom of separation] thus it outlaws/blocks/bans itself
thus ZFC contradicts itself and 1)ZFC is inconsistent 2) that the paradoxes it was meant to avoid are now still valid and thus mathematics is inconsistent
Now we have paradoxes like
Russells paradox
Banach-Tarskin paradox
Burili-Forti paradox
Which are now still valid

with all the paradoxes in maths returning mathematics now again ends in contradiction
Logged
 



Offline Kryptid

  • Global Moderator
  • Naked Science Forum King!
  • ********
  • 8082
  • Activity:
    1.5%
  • Thanked: 514 times
Re: Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction
« Reply #1 on: 11/01/2019 23:51:12 »
Quote from: sim on 11/01/2019 22:07:11
The meaninglessness of mathematics

If mathematics is meaningless, then why not donate all of your money to charity? If math is meaningless, then so is the amount of money you have.
Logged
 
The following users thanked this post: Bored chemist

Offline evan_au

  • Global Moderator
  • Naked Science Forum GOD!
  • ********
  • 11035
  • Activity:
    9%
  • Thanked: 1486 times
Re: Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction
« Reply #2 on: 12/01/2019 08:57:24 »
It seems that you don't like self-referential statements?

But any system of communication sufficiently complex to be really useful will be able to make self-referential statements (like this forum post).

I think that self-reference is essential - even indirect cases such as the ability of your reply to refer to this post, which refers to the escape clause that would "outlaw/block/ban impredicative statements".
Logged
 



  • Print
Pages: [1]   Go Up
« previous next »
Tags:
 
There was an error while thanking
Thanking...
  • SMF 2.0.15 | SMF © 2017, Simple Machines
    Privacy Policy
    SMFAds for Free Forums
  • Naked Science Forum ©

Page created in 0.471 seconds with 30 queries.

  • Podcasts
  • Articles
  • Get Naked
  • About
  • Contact us
  • Advertise
  • Privacy Policy
  • Subscribe to newsletter
  • We love feedback

Follow us

cambridge_logo_footer.png

©The Naked Scientists® 2000–2017 | The Naked Scientists® and Naked Science® are registered trademarks created by Dr Chris Smith. Information presented on this website is the opinion of the individual contributors and does not reflect the general views of the administrators, editors, moderators, sponsors, Cambridge University or the public at large.