Houshalter comments on Open Thread - Aug 24 - Aug 30 - Less Wrong

7 Post author: Elo 24 August 2015 08:14AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (318)

Sort By: Best

Show:

You are viewing a single comment's thread. Show more comments above.

Comment author: Houshalter 29 August 2015 07:54:03PM * 0 points [-]

I'm very confused. Of course if φ is provable then it's true. That's the whole point of using proofs.

Comment author: VoiceOfRa 29 August 2015 08:29:10PM 4 points [-]

But that statement isn't provable.

Comment author: Houshalter 29 August 2015 08:41:57PM 0 points [-]

Then just assume it as an axiom.

Comment author: VoiceOfRa 29 August 2015 08:44:28PM 4 points [-]

Then the paradox you were describing fires and the system becomes inconsistent.

Comment author: RolfAndreassen 31 August 2015 05:30:37AM 0 points [-]

Yes, but it may be true without being provable.