Artículos con la etiqueta ‘Todo y partes’

Hierarchical Economic Agents and their Interactions

Por • 1 ene, 2014 • Category: sociologia

We present a new type of spin market model, populated by hierarchical agents, represented as configurations of sites and arcs in an evolving network. We describe two analytic techniques for investigating the asymptotic behavior of this model: one based on the spectral theory of Markov chains and another exploiting contingent submartingales to construct a deterministic cellular automaton that approximates the stochastic dynamics. Our study of this system documents a phase transition between a sub-critical and a super-critical regime based on the values of a coupling constant that modulates the tradeoff between local majority and global minority forces. In conclusion, we offer a speculative socioeconomic interpretation of the resulting distributional properties of the system.

Model Checking in Bits and Pieces

Por • 27 sep, 2013 • Category: Ambiente

Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components. It is natural to apply a divide and conquer strategy to ameliorate state explosion, by analyzing only a single component at a time. We show that this strategy leads to the notion of a “split” invariant, an assertion which is globally inductive, while being structured as the conjunction of a number of local, per-component invariants. This formulation is closely connected to the classical Owicki-Gries method and to Rely-Guarantee reasoning. We show how the division of an invariant into a number of pieces with limited scope makes it possible to apply new, localized forms of symmetry and abstraction to drastically simplify its computation. Split invariance also has interesting connections to parametric verification. A quantified invariant for a parametric system is a split invariant for every instance. We show how it is possible, in some cases, to invert this connection, and to automatically generalize from a split invariant for a small instance of a system to a quantified invariant which holds for the entire family of instances.

Two Paths to Infinite Thought: Alain Badiou and Jacques Derrida on the Question of the Whole

Por • 25 jul, 2012 • Category: Filosofía

This essay defends an idea that is no longer fashionable: that there is a whole. The motivation for a defense of this notion has nothing to do with intellectual conservatism or a penchant for Hegel. Rather, what we hope to establish is a second path into what Alain Badiou has called the ‘Cantorian Revolution’. In order to open this path we undertake a three-fold task. First, we deconstruct Badiou’s onto-logical project by isolating the suppressed significance of Ernst Zermelo. This point allows us to recover a Cantorian possibility for addressing the infinite as an inconsistent whole. Second, we turn to work by the logician Graham Priest in order to remove the absurdity of discussing true contradictions. Finally, we return to Jacques Derrida’s early work on Husserl in order to chart a phenomenological path to an affirmation of an inconsistent whole. We close, then, with the implications for contemporary philosophy.