EMPIRICAL INQUIRY AND PROOF (Proof and Knowledge in Mathematics, 1992)
Keywords: Mathematical logic; Philosophy of mathematics; Epistemic Construal; Inclined; Wittgenstein’s View; Parallel Division; Experiment Distinction; Follow; Timeless; Mathematical Result; Terrible Noise; Concepts Proof; Wittgenstein’s Distinction; Specific Constructions; Holds; Mathematical Proposition; Violated; Logical Features; Memorable Configuration; Mathematical Conviction; Potential Prover; Prophecies; Wittgenstein’s Philosophy; Proof Shows; Toto; Empirical Propositions; Gauss’s Proof