Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem

Ori Livson, Mikhail Prokopenko

Incomputability results in Formal Logic and the Theory of Computation (i.e., incompleteness and undecidability) have deep implications for the foundations of mathematics and comput…