I recall that F Scott Fitzgerald said "the test of a first-rate intelligence is the ability to hold two opposed ideas in mind at the same time and still retain the ability to function."
In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).