Michael Nygard explores some of the available loopholes in the CAP theorem helping architects to engineer distributed systems that meet their needs.
Michael Nygard strives to raise the bar and ease the pain for developers across the country. Highly-available, highly-scalable commerce systems are his forte. Michael has written and co-authored several books, including "97 Things Every Software Architect Should Know" and the best seller "Release It!", a book about building software that survives the real world.
Software is changing the world; QCon aims to empower software development by facilitating the spread of knowledge and innovation in the enterprise software development community; to achieve this, QCon is organized as a practitioner-driven conference designed for people influencing innovation in their teams: team leads, architects, project managers, engineering directors.
A point about Godels Theorem
Sorry Michael but I would bet you deal with mathematical systems that have at least Peano arithmetic, which is enough for GT to be operative.
I also think 'all messages go to /dev/null' would actually be A and that Heisenbergs Uncertainty Principle says elections fly all over the place.