In 1934 Alonzo Church, Kurt Gödel, S. C. Kleene, and J. B. Rosser were all to be found in Princeton, New Jersey. In 1936 Church founded The Journal of Symbolic Logic. Shortly thereafter Alan Turing arrived for a two year visit. TheUnited States had become aworld center for cutting-edge research in mathematical logic. In this brief survey we shall examine some of thewritings of American logician...

1. Please check these proofs carefully. It is the responsibility of the corresponding author to check these and approve or amend them. A second proof is not normally provided. Taylor & Francis cannot be held responsible for uncorrected errors, even if introduced during the production process. Once your corrections have been added to the article, it will be considered ready for publication. Plea...

We propose novel method named coimagination. Participants of the coimagination program bring three images according to the topics of the session in order to share imagination and communicate with them. Each participant has five minutes for talk and five minutes for questions. Number of participants is six, so that one session lasts for one hour. Themes include but not limited to: “favorite thin...

In this paper we describe a proposal for a new virtual worlds representation model that requires just a few additional efforts from the world creators, and adds a basic semantic level to the worlds which is useful to improve the interaction of the users with these worlds. We also describe a querying model that allows to found worlds and objects in these worlds, using as a base the proposed repr...

Virtual worlds have the potential to change that way in which organizations and social groups organize (Castronova 2005a; Castronova 2005b). Virtual worlds enable millions of people to interact with one another through avatars in online three-dimensional worlds. These online worlds contain mountains, trees, oceans, and wild creatures, and are made to look something like the real world (Castrono...

In Everett’s many worlds interpretation, where quantum measurements are seen as decoherence events, inexact decoherence may let large worlds mangle the memories of observers in small worlds, creating a cutoff in observable world size. I solve a growthdrift-diffusion-absorption model of such a mangled worlds scenario, and show that it reproduces the Born probability rule closely, though not exac...