Results 1 to 3 of 3

Math Help - Some questions on Godel's therum

  1. #1
    Newbie
    Joined
    Jan 2013
    From
    UK
    Posts
    2

    Some questions on Godel's theorem

    I am new here and, although I have considerable knowledge in general science, I am definitely not an expert at maths.


    Anyone:

    Correct me if I am wrong but; two of the implications of the proven Godel's theorem is that:

    1, there must be some mathematical theorems that can be made that are unprovable and yet are nevertheless true.

    2, we cannot ever know exactly which mathematical theorems are the ones that are both unprovable and yet are nevertheless true.

    But my main question which is my thirds question is this;



    3, Is there is an infinite number of possible mathematical theorems that are BOTH true AND unprovable AND which can NOT be proven to be unprovable?


    4, IF the answer to question 3, is 'yes', can this be deduced from Godel's theorem alone or is understanding of some extra deduction required to deduce that the answer to 3, is 'yes'?
    Last edited by humy; January 2nd 2013 at 02:09 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,693
    Thanks
    1466

    Re: Some questions on Godel's therum

    I don't like the wording. How do we KNOW if a statement is true if we cannot prove it? I would prefer to say, instead, given a system of axioms, large enough to encompass the integers, that there exist some statements which can neither be proven nor disproven ("disproven" meaning that the negation can be proved). Yes, it follows that there must be an infinite number of statements that can neither be proven nor disproven. That's the case because, if there were only a finite number of such statements, we could add those statements themselves to the axioms, getting a new system of axioms in which all statements can be either proven or disproven, contradicting the original statement.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jan 2013
    From
    UK
    Posts
    2

    Re: Some questions on Godel's therum

    yes your are right; my wording was quite wrong! Sorry for such a muddled post; I didn't mean to imply that we can know if a statement is true if we cannot prove it!
    I think I understand what you say and, I note in particular, the “there must be an infinite number of statements that can neither be proven nor disproven” part which is one thing I really wanted to know -thanks for that!

    Now, for what I want to know most:

    Is there an INFINITE number of possible mathematical theorems that can neither be proved nor disproved that ALSO have the characteristic that there is no possible proof that can be given that it can NOT be either proved nor disproved (so we can never KNOW that it cannot ever be proved or disproved)?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. New to the forum
    Posted in the New Users Forum
    Replies: 0
    Last Post: November 11th 2012, 06:35 AM
  2. New to Forum
    Posted in the New Users Forum
    Replies: 0
    Last Post: October 17th 2012, 10:33 AM
  3. New here. Need help with using the forum.
    Posted in the New Users Forum
    Replies: 2
    Last Post: September 9th 2012, 01:28 AM
  4. Hi Everyone New 2 Forum
    Posted in the New Users Forum
    Replies: 0
    Last Post: April 22nd 2012, 09:34 PM

Search Tags


/mathhelpforum @mathhelpforum