Related:

• Quote #592 The job of formal methods is to elucidate the assumptions upon which formal correctness depends.
  -- Tony Hoare...
• Quote #19 A formal parsing algorithm should not always be used. -- D. Grie
• Quote #681 In mathematics you don't understand things.
  You just get used to them. -- J. von Neuma...
• The liberals can understand everything but people who don't understand them. -- Lenny Bruce
• Quote #314 Question. Whch country has the greatest number of English speakers?
  Answer. China. Fact. More people in the world can speak english than any other language....
• You can take all the impact that science considerations have on funding decisions at NASA, put them in the navel of a flea, and have room left over for a caraway seed and Tony Calio's heart.
  -- F. Alle...