The Scientific Community Game - 0 views
-
Garrett Eastman on 19 Oct 12"The key contribution of this paper is a simple protocol language which is at the heart of defining constructive claims through games. Our protocol language generalizes the class of claims that can be expressed in predicate logic. We build on the long tradition in logic and games of imperfect information: our protocol language can also express indeterminate claims, such as "I am better than you at solving this problem." The purpose of SCG is to provide a helpful framework to develop and disseminate the world's constructive claims in formal scientific domains. The development of claims is both collaborative and selfevaluating using the global brain."