Post #1546599

@lindsey @regehr the work by the philosoper Imre Lakatos ("Proofs and Refutations") illustrates nicely how mathematical proofs aren't bullet-proof because of implicit or missing assumptions.