If a physical theory is considered not as a collection of sentences closed under logical consequence, but rather as a collection of proofs, the above mentioned drawbacks are naturally solved.
However, all the presented results were obtained using technical approaches useful for the experimental collection of proofs of principle but unlikely suitable for application in clinical protocols for regenerative medicine.
Scientific theories ought to be formalized as collections of proofs.
By extrapolating this isomorphism, theories of Physics formalized as collections of proofs can be seen as collections of programs.
Proof theory conciliates formalization with this philosophical viewpoint in the following way: by defining scientific theories as collections of proofs, they can evolve by the addition of new proofs, and Kuhn's major paradigm shifts can be seen as major proof transformations (e.g. cut-elimination, cut-introduction and addition of new definitions).
A show at Milk Gallery called Flying Saucers Are Real! catalogs an impressive collection of the proof this community has accrued in the form of artworks, photos, and pulp sci-fi books gathered over the years by author Jack Womack.
Check out my DVD collection for proof of my affinity for car crashes, huge explosions, and zombie attacks.
By Dec. 31, 1999, I had a collection of 110 proofs-of-purchase from 55 lunches of Colonial Chicken Pie and 55 dinners of Chicken and Vegetables Marsala.
An abstract argumentation system is a collection of "defeasible proofs", called arguments, that is partially ordered by a relation expressing the difference in conclusive force.
This was the world I was trying to break into and for some ungodly reason, editors were refusing to take my extensive collection of David Attenborough DVDs as proof of my interest in science communication.
