You'd probably be interested in Godel's incompleteness theorem.
Also, exact reproduction of other people's experimental work is highly unusual in CS, despite the theoretical possibility. Usually the materials and methods sections of papers in hard sciences like physics, chemistry, and biology are much more detailed, to the point of being recipes.
Finally, CS is not really a science. It lies somewhere between math and engineering, which are also not sciences.