|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements.|
Books on Amazon
|Proofs||Hacking I 286
Experiment/Evidence/Lakatos: no fact-related statement can ever be proved by an experiment. Assertions cannot be proved by experience. This is a logical principle.
HackingVsLakatos: this is a mirroring fight with the word "to prove".
The Methodology of Scientific Research Programmes: Volume 1: Philosophical Papers (Philosophical Papers (Cambridge)) Cambridge 1980
Einführung in die Philosophie der Naturwissenschaften Stuttgart 1996