...given sufficient ignorance, one can doubt evolution....
The Big Questions: Tackling the Problems of Philosophy with Ideas from Mathematics, Economics and PhysicsFormal mathematics is nature's way of letting you know how sloppy your mathematics is.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers