SoullessAutomaton comments on The scourge of perverse-mindedness - Less Wrong

95 Post author: simplicio 21 March 2010 07:08AM

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

Article Navigation

Comments (249)
Tags: science philosophy

Comments (249)

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

Comment author: nhamann 21 March 2010 07:20:54PM 3 points [-]

Most of the time I've run into the word "obviously" is in the middle of a proof in some textbook, and my understanding of the word in that context is that it means "the justification of this claim is trivial to see, and spelling it out would be too tedious/would disrupt the flow of the proof."

Comment author: SoullessAutomaton 21 March 2010 09:19:55PM 8 points [-]

I thought the mathematical terms went something like this:

  • Trivial: Any statement that has been proven
  • Obviously correct: A trivial statement whose proof is too lengthy to include in context
  • Obviously incorrect: A trivial statement whose proof relies on an axiom the writer dislikes
  • Left as an exercise for the reader: A trivial statement whose proof is both lengthy and very difficult
  • Interesting: Unproven, despite many attempts
Powered by Reddit Powered by Reddit