Results 1 to 4 of 4

Math Help - Foundations of mathematics - something is troubling me

  1. #1
    Member
    Joined
    Aug 2009
    Posts
    130

    Foundations of mathematics - something is troubling me

    One of the main reasons I study mathematics is because of the certainty of it. Given certain assumptions, one can deduce whether or not something is true.

    Recently, I've just discovered that the foundations of mathematics is not self-consistent. There is a possibility that there may exist a contradiction in the system. But if there is a possibility that a contradiction may exist, then why should we be sure that the theorems we prove from the axioms are true?

    Also, when we're talking about consistency in systems here, we're talking about set theory right? For example, for the field axioms, that system of axioms must be consistent, no?

    This is really bothering me. All help would be appreciated!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    4
    Awards
    2

    Re: Foundations of mathematics - something is troubling me

    Quote Originally Posted by JG89 View Post
    One of the main reasons I study mathematics is because of the certainty of it. Given certain assumptions, one can deduce whether or not something is true.

    Recently, I've just discovered that the foundations of mathematics is not self-consistent. There is a possibility that there may exist a contradiction in the system. But if there is a possibility that a contradiction may exist, then why should we be sure that the theorems we prove from the axioms are true?

    Also, when we're talking about consistency in systems here, we're talking about set theory right? For example, for the field axioms, that system of axioms must be consistent, no?

    This is really bothering me. All help would be appreciated!
    emakarov can correct me if I'm wrong, but I'm not aware of a contradiction in, say, ZF set theory or symbolic logic as of now. We do know that while first-order logic is complete, second-order logic is incomplete. But that's not the same question as consistency.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,403
    Thanks
    1486
    Awards
    1

    Re: Foundations of mathematics - something is troubling me

    Have a look at this page.
    It will give you a bit more on the scope and meaning of your question.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4

    Re: Foundations of mathematics - something is troubling me

    Quote Originally Posted by JG89 View Post
    Recently, I've just discovered that the foundations of mathematics is not self-consistent.
    You misunderstood something you read.

    Quote Originally Posted by JG89 View Post
    There is a possibility that there may exist a contradiction in the system.
    What system? There are lots of systems. Perhaps you are referring to the second incompleteness theorem that informs us that certain systems cannot prove their own consistency. But the second incompleteness theorem does not suggest that any particular system is inconsistent.

    Quote Originally Posted by JG89 View Post
    Also, when we're talking about consistency in systems here, we're talking about set theory right?
    Any system can be considered for consistency or inconsistency. Formal set theories are among the many systems.

    Quote Originally Posted by JG89 View Post
    the field axioms, that system of axioms must be consistent, no?
    I know of no evidence that they are not.

    I think you need to study this matter more methodically. It seems to me that you're going from bits and pieces of information about this. To get a clear grasp on these matters I would first learn the predicate calculus, then a certain amount of set theory, then some basic mathematical logic.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Foundations of Mathematics
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: March 26th 2011, 11:29 AM
  2. Foundations of mathematics
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: September 11th 2010, 04:05 AM
  3. Troubling Trig Integral
    Posted in the Calculus Forum
    Replies: 2
    Last Post: March 28th 2010, 10:12 PM
  4. A troubling limit
    Posted in the Calculus Forum
    Replies: 1
    Last Post: October 5th 2008, 01:51 PM
  5. A troubling for me...
    Posted in the Algebra Forum
    Replies: 1
    Last Post: October 14th 2007, 05:20 PM

Search Tags


/mathhelpforum @mathhelpforum