SilasBarta comments on Godel's Completeness and Incompleteness Theorems - Less Wrong

34 Post author: Eliezer_Yudkowsky 25 December 2012 01:16AM

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

Comments (85)

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

Comment author: SilasBarta 03 January 2013 10:57:29PM -2 points [-]

So were you wrong to say that all "infinite voter systems avoid the consequences of Arrow's Theorem" ("both red and orange are exempt"), or were you wrong to reject my point about range voting's infinite effective voters being proof that it avoids the consequences of Arrow's Theorem?

On the one hand, you want to say that the broad principle is true ("apples and oranges are exempt"/"all infinite voter systems are exempt"), but on the other hand, you don't want to agree that the broad principle has the implications I suggested ("Navals are oranges and thus exempt"/"Range voting has infinite voters as is thus exempt").

And a resolution of that inconsistency really does not require a thorough review of the cited sources.