Wikipedia for Computations

Sample Page for an in-silico science

We take any science that is sufficiently well understood so that we have efficient simulation software that defines a sufficiently precise computable model. In biology, this is called an ``in-silico'' science. We consider a lab that formulates claims about the science. An example of a claim is SolarCell(R,t,s,f) which will be used in the context of a game \[ G(SolarCell(R,t,s,f),p1,p2,verifier,falsifier) \] where p1 and p2 are the two players. We assume that p1 wants to be the verifier and p2 wants to be the falsifier. If the falsifier gives to the verifier raw materials, energy and equipment of kind and amount R, the verifier produces in time t a quadratic solar cell of area s and efficiency f that lasts for 10 years under daily use. In the game the falsifier provides, all in silico, raw materials etc. of kind and amount R, and the verifier is given time t to apply its secret construction to produce a solar cell of the predicted size and efficiency. If the verifier does not produce what it predicted it is said to be in a contradiction and the verifier loses the game.