Rice's Theorem is about reasoning about programs.
It basically states that there are some qualities about a program that are impossible to reason about in a general sense.
Source: http://en.wikipedia.org/wiki/Rice's_theorem
Sunday, July 20, 2014
Arrow's Impossibility Theorem
Too complex to reword, so I will quote directly from Wikipedia:
In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no rank order voting system can convert the ranked preferences of individuals into a community-wide (complete and transitive) ranking while also meeting a pre-specified set of criteria. These pre-specified criteria are called unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives. The theorem is often cited in discussions of election theory as it is further interpreted by the Gibbard–Satterthwaite theorem.
Source: http://en.wikipedia.org/wiki/Arrow's_impossibility_theorem
In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no rank order voting system can convert the ranked preferences of individuals into a community-wide (complete and transitive) ranking while also meeting a pre-specified set of criteria. These pre-specified criteria are called unrestricted domain, non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives. The theorem is often cited in discussions of election theory as it is further interpreted by the Gibbard–Satterthwaite theorem.
Source: http://en.wikipedia.org/wiki/Arrow's_impossibility_theorem
Subscribe to:
Posts (Atom)