Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

othercriteria comments on GAZP vs. GLUT - Less Wrong

33 Post author: Eliezer_Yudkowsky 07 April 2008 01:51AM

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

Comments (166)

Sort By: Old

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

Comment author: othercriteria 17 May 2012 01:38:27PM 1 point [-]

At any rate, whatever key terms that we use in our hypothesis must be precise, unambiguous, non circular, non-contradictory and used consistently throughout our presentation.

I'm personally okay with circular definition when used appropriately. For instance, there's the Haskell definition

naturalNumbers = 1 : (map (+ 1) naturalNumbers)

which tells you how to build the natural numbers in terms of the natural numbers.