Douglas_Knight comments on Proofs, Implications, and Models

[Douglas_Knight]

How about you survey mathematicians?