orthonormal comments on When does an insight count as evidence? - Less Wrong

11 Post author: alexflint 04 January 2010 09:09AM

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

Comments (37)

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

Comment author: orthonormal 05 January 2010 07:15:26AM *  1 point [-]

It's not always that simple (consider the negation of G).

(If this is your first introduction to Gödel's Theorem and it seems bizarre to you, rest assured that the best mathematicians of the time had a Whiskey Tango Foxtrot reaction on the order of this video. But turns out that's just the way it is!)