The procedures we have in society for coordinating people to make a decision together are limited by our tools, and by what we can understand, verify and calculate. While it is undesirable (and impossible) to attempt to fully specify the soup of human desires and values in code, there are things that computers do better than humans do—even simple t... See more