Results 1 to 7 of 7

Math Help - Godel Numbering

  1. #1
    Junior Member
    Joined
    Feb 2011
    Posts
    26

    Godel Numbering

    Of course, it is very simple to make an arbitrary map for my desired expressions into numerical strings, but how do I actually do something useful with the numerical strings? That is, what theorems could I derive from these numbers? Any examples would be appreciated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by charmedquark View Post
    Of course, it is very simple to make an arbitrary map for my desired expressions into numerical strings, but how do I actually do something useful with the numerical strings? That is, what theorems could I derive from these numbers? Any examples would be appreciated.

    Hopefully you know what you're talking about but us, the rest of poor mortals, most probably

    have no clue, and unless you tell us (What are you "desired expressions", what are

    "strings"...??), there's a very poor chance someone will be able to help you.

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Feb 2011
    Posts
    26
    For example the whole point is to have a tool for certain statements to talk about themselves...for example, I could arbitrarily have:


    Map
    x0<----->0
    0<------>1
    *<------>2
    (<------>3
    +<----->4
    1<------>5
    ^<----->6
    =<----->7
    2<----->8
    etc.


    So that I can write 1+1=2 as 5,4,5,7,8-->54,578
    and now, what useful things can I prove in arithmetic with a number like 54,578 that lets me implicitely make theorems about my other statements?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,318
    Thanks
    1292
    Quote Originally Posted by charmedquark View Post
    Of course, it is very simple to make an arbitrary map for my desired expressions into numerical strings, but how do I actually do something useful with the numerical strings? That is, what theorems could I derive from these numbers? Any examples would be appreciated.
    Assuming you are talking about Goedel numbering, as in your title, then, generally speaking, you don't. It is not the point of Goedel numbering to "derive theorems".
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Feb 2011
    Posts
    26
    Are you sure? What is the purpose, then? I thought Godel wanted a way for number theory to talk about itself, and I would assume that just listing strings of arbitrary numbers wouldn't do much good to that end!

    Then please tell me what I can do with this.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,504
    Thanks
    765
    This thread belongs in the Logic forum.

    Godel numbering is essential in proving Godel incompleteness theorems (at least via diagonalization).
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Behold, the power of SARDINES!
    TheEmptySet's Avatar
    Joined
    Feb 2008
    From
    Yuma, AZ, USA
    Posts
    3,764
    Thanks
    78
    This book may not answer all of your questions, but it is not a bad place to start.

    Gödel, Escher, Bach - Wikipedia, the free encyclopedia

    It can be found in most libraries.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Gödel numbering
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 19th 2011, 09:36 PM
  2. Equation numbering
    Posted in the LaTeX Help Forum
    Replies: 0
    Last Post: April 24th 2010, 12:53 AM
  3. Godel Numbering
    Posted in the Advanced Math Topics Forum
    Replies: 3
    Last Post: January 16th 2010, 01:06 AM
  4. Mathematical logic - String formulas and Godel numbers
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: August 10th 2007, 04:04 PM
  5. [SOLVED] numbering squares
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: June 8th 2007, 08:24 AM

Search Tags


/mathhelpforum @mathhelpforum