Strilanc comments on Rationality Quotes November 2014 - Less Wrong

8 Post author: elharo 07 November 2014 07:07PM

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

Tags: quotes

Comments (337)

Sort By: Best

Show:

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

Comment author: Gunnar_Zarncke 01 November 2014 10:37:35PM * 25 points [-]

The only difference between reality and fiction is that fiction needs to be credible.

Mark Twain

Actually I found this in The topology of Seemingly impossible functional programs which is using topological methods to 'check' infinitely many cases in finite time. Which might even be applicable to FAI research.

Comment author: Strilanc 12 November 2014 03:58:22AM 9 points [-]

... wait, what? You can equate predicates of predicates but not predicates?!

(Two hours later)

Comment author: IlyaShpitser 20 November 2014 04:31:30PM 3 points [-]

The key here is the halting requirement. The other stuff is red herrings.

Comment author: Gunnar_Zarncke 12 November 2014 06:44:15AM * 2 points [-]

Inconceivable, isn't it? Extra points for actually implementing it.