LAMBDA: … Rule 2. If you have a global counterexample, … counterexample, and replace the discarded conjecture by an … dismissed as a monster. Try to make all … [Rule 3. If a local counterexample, see if it isn't also a global counterexample.]
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: mathematics by proofs and refutations (31 items)