Virtual worlds as meeting places for formal systems

摘要

Over the last seven years, we have been exploring the use of collaborative virtual environments called Virtual Worlds (VWs) as a new type of testbed for experimenting with ways of organizing and integrating diverse types of computational and human processes. In other papers, we have discussed a wide variety of applications to fields as diverse as education and software engineering. In this paper, we focus on some of the mathematical experiments we are currently building in these environments.