This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.

We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) “If X is a well-ordering, then so is εX ”, and (2) “If X is a well-ordering, then so is φ(α,X )”, where α is a fixed computable ordinal and φ represents the two-placed Veblen function. For the former statement, we show that ω iterations of the Turing jump are necessary in the proof and ...

A new method of extracting the low-lying energy spectrum from Monte Carlo estimates of Euclidean-space correlation functions which incorporates Bayesian inference is described and tested. The procedure fully exploits the information present in the correlation functions at small temporal separations and uses this information in a way consistent with fundamental probabilistic hypotheses. The comp...

Social capital is embedded in social networks. For the purpose of these notes, I use the terms social capital and social networks interchangeably. At the most basic level it is useful to think of social capital in a supply-demand framework. Individual agents have some demand for social capital. More precisely, agents have demand for the services provided by social capital such as having access ...

These notes provide a brief introduction to modern cosmology, focusing primarily on theoretical issues. Some attention is paid to aspects of potential interest to students of string theory, on both sides of the two-way street of cosmological constraints on string theory and stringy contributions to cosmology. Slightly updated version of lectures at the 1999 Theoretical Advanced Study Institute ...

This research investigates the role of implicit theories in influencing the effectiveness of successful role models in the leadership domain. Across two studies, the authors test the prediction that incremental theorists ("leaders are made") compared to entity theorists ("leaders are born") will respond more positively to being presented with a role model before undertaking a leadership task. I...

I want to start this paper from the premise that both academics in cultural and media studies, and left-wing political theorists and activists have found the everyday culture of the people in capitalist societies particularly difficult to study either empirically or theoretically. In this paper I wish, then, to interweave two lines of theoretical inquiry: one into the culture of everyday life w...

Historical listening has long been a topic of interest for musicologists. Yet, little attention given to the systematic study historical practices before common practice era (c. 1700–present). In first its kind, this research compared model medieval perceptions “sweetness” based on writings music theorists with modern day listeners’ aesthetic responses. Responses were collected through two expe...