Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I A twist in the Godel sentence

  1. Apr 19, 2017 #1

    Demystifier

    User Avatar
    Science Advisor

    Consider the following sentence:
    "Prof. Godel cannot prove this sentence."
    Is this sentence true? If it is true, can Prof. Godel prove it? If he can't, does it tell us anything about Prof. Godel? More generally, does it tell as anything about creative human mathematicians (who are supposed to be more than formal machines)?

    A further (obvious) twist is the sentence:
    "Nobody can prove this sentence."
    Is this sentence true? If it is, how do you know?

    The questions are, of course, philosophical, but Godel himself was thinking a lot about philosophical consequences of his theorems, so we can too.
     
  2. jcsd
  3. Apr 19, 2017 #2

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    This sentence is true, Gödel cannot prove it because he is dead.
    I'm not sure if we can make that statement mathematically well-defined.
     
  4. Apr 19, 2017 #3

    Demystifier

    User Avatar
    Science Advisor

    You are missing the point. Replace "Prof. Godel" with "The best living logician".
     
  5. Apr 19, 2017 #4

    Demystifier

    User Avatar
    Science Advisor

    Or even better, suppose that a great logician says:
    "I cannot convince myself that this sentence is true."
     
  6. Apr 19, 2017 #5
    Me neither. I think to really investigate the nature of this paradox (if it is something new or if it reduces to one that we already know about) we'd need a more precise way to formulate it.
     
  7. Apr 20, 2017 #6

    Demystifier

    User Avatar
    Science Advisor

    Last edited by a moderator: May 8, 2017
  8. Apr 20, 2017 #7
    oh, I have no problem with that. It's just that I find the question interesting and my curiosity leads me to seek a formal investigation. I think your avatar would agree! :)
     
  9. Apr 20, 2017 #8

    Demystifier

    User Avatar
    Science Advisor

    He certainly would, he is famous for works in both formal logic and plain English philosophy. :smile:
     
  10. Apr 20, 2017 #9

    Demystifier

    User Avatar
    Science Advisor

    The standard Godel sentence can be expressed in plain english as:
    "This sentence cannot be proved within a certain closed system of axioms".
    This sentence is true and can be proved, but only if one steps out from this closed system of axioms.

    It seems to me that my sentences in the posts above are not like this sentence. Instead, they seem to be more like inconsistent sentences such as:
    "This sentence is not true."

    If I am right, then this seems to resolve the paradox.
     
  11. Apr 27, 2017 #10

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    I think you should use Penrose instead of Godel, because he's alive, and because he seems to think that Godelian arguments can be used to prove that human mathematical abilities are beyond those of machines.

    Let's use "unassailably true", because I think that's the phrase Penrose uses in "The Emperor's New Mind". Something is unassailably true if it is true, and it's possible for a competent mathematician to convince himself that it is true, and that there is no doubt possible. For example: "2+2=4". Then define the Penrose sentence to be:

    "Penrose will never accept this sentence to be unassailably true"

    I do not agree that this is an antinomy such as the Liar paradox---"This sentence is not true"---because it is possible for it to be true, and it's also possible for it to be false (while the Liar paradox cannot consistently be either). It can be true, and yet Penrose never accepts it (there are true statements that he never accepts as unassailably true). Or it can be false (there might be false statements that he mistakenly believes are unassailable truths).

    I guess what you could say about it is that Penrose would never accept it to be unassailably true, since it is an obvious mistake to do so. But suppose we add some "closure" properties to his set of unassailable truths: Suppose we assume the following:

    If Penrose considers statements [itex]S_1, S_2, ....[/itex] to all be unassailable, and [itex]C[/itex] follows logically from those statements, then he will eventually come to believe [itex]C[/itex] to be unassailably true, as well. If his unassailable beliefs don't have this property, then they might be logically inconsistent, but still paraconsistent---A paraconsistent theory is one that is still useful even if it's logically inconsistent; the inconsistency doesn't make the whole theory useless. I actually think that humans are paraconsistent, but not consistent.

    If we assume that Penrose' unassailable beliefs are logically closed, then he might not realize immediately that other unassailable beliefs of his logically imply the Penrose sentence.
     
  12. Apr 27, 2017 #11

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    Here's another take on what @Demystifier is saying.

    Suppose that we strap Roger Penrose into a chair and stick probes into his brain, and suppose that we have a theory of brain functioning that is complete enough that we can monitor his thinking. Then we do the following experiment:
    1. We project various statements onto a screen and ask Penrose to read each statement and decide whether he agrees with the statement or not.
    2. If he agrees, then our brain monitor will know it, and will turn on a green indicator light.
    3. If he disagrees, then our brain monitor will turn on a red indicator light.
    4. Initially, both indicator lights are off.
    Now, suppose that the statement that is projected onto the screen is:
    • The green indicator light will not turn on.
    In contrast with the Liar paradox, the statement that Penrose is being asked about has a completely clear semantics; there are no philosophical terms such "truth".

    But if the machinery works the way I've described, and Penrose knows that, then will the green indicator light come on, or not?
     
  13. Apr 27, 2017 #12

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    He might suspect that it is true, even though he can't give an airtight convincing argument.
     
  14. Apr 29, 2017 #13

    Zafa Pi

    User Avatar
    Gold Member

    Can Penrose fake what he believes (vis a vis the machine)?
     
  15. Apr 29, 2017 #14

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    Well, the assumption is that the machine is accurate. You can certainly avoid paradox by saying that any such machine must be (at times) inaccurate.
     
  16. May 1, 2017 #15

    Zafa Pi

    User Avatar
    Gold Member

    What I was getting at is e.g.: Penrose knows that, but when the machine is turned on Penrose has managed to believe the green light will come on iff Goldbach's conjecture is true. What controls do we have over Penrose's beliefs?
     
  17. May 1, 2017 #16

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    With the usual Godel proof, the conclusion is:

    "If the system is sound (never proves false statements) then the Godel sentence is a true statement that the system fails to prove."

    The corresponding case for Penrose would be:

    "If his beliefs are sound, then this is a true statement that he can never know to be true."

    So his beliefs being unsound is a loophole. In the case of formal theories, you can strengthen the theorem to "If the system is consistent (never proves a contradiction) then the Godel sentence is neither provable nor refutable". I don't see off the bat how to get a corresponding Penrose statement.
     
  18. May 1, 2017 #17

    Zafa Pi

    User Avatar
    Gold Member

    I have a problem of what constitutes a sound belief. My guess is that it would be defined as one that doesn't believe in something false.
    So if he believes that the green light will come on iff Goldbach's conjecture is true, then is that a sound belief?
     
  19. May 1, 2017 #18

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    I would have to know whether Goldbach's conjecture is true to know whether that belief is sound.
     
  20. May 1, 2017 #19

    Zafa Pi

    User Avatar
    Gold Member

    I think I'm losing soundness of mind.
    Let's assume B.c. is decidable.
    So if you knew B.c. is true you would know that belief is sound.
    If you knew B.c. was false would you know that belief is sound?
    If so, then, then you would know that belief is sound whether or not B.c. is true.
     
  21. May 1, 2017 #20

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    By "B.C." do you mean "Goldbach's conjecture"? If so, that's a strange acronym for it.

    By "that belief", which belief do you mean?

    Let's label the various claims:
    • C1 = Goldbach's conjecture
    • C2 = The green light will come on (indicating Penrose believes whatever statement is printed on the screen).
    • C3 = C2 [itex]\Leftrightarrow[/itex] C1
    • C4 = whatever statement is shown on the screen
    So you were asking what if Penrose believes C3. By definition, his beliefs are sound if and only if he never believes anything false. So if his beliefs are sound, then either:
    1. C1 is true and C2 is true and Penrose believes C4 (whatever that is)
    2. C1 is false and C2 is false and Penrose does not believe C4.
    His beliefs are not sound if either:
    1. C1 is true and C2 is false and Penrose dos not believe C4
    2. C1 is false and C2 is true and Penrose believes C4
    Since I personally don't know whether C1 or C2 is true, I can't say whether Penrose' beliefs are sound or not.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: A twist in the Godel sentence
  1. On Godel theorem (Replies: 38)

  2. Godel again (Replies: 2)

  3. Godel Numbers (Replies: 3)

Loading...