The exponential storage cost of d-schemes

Structured programming has been studied recently in the context of program schemes. It is in this setting that we wish to examine the question of the "inefficiency'; of structured programs. In particular, we study the "intrinsic size'; of structured program schemes when compared to equivalent nonstructured schemes. The notion of equivalence used is the one requiring equivalent schemes to compute the same function for each interpretation of their common operator and predicate symbols. To study the "intrinsic size'; of a structured scheme, we examine the size of a smallest equivalent structured scheme, and compare this with the size of a smallest equivalent nonstructured scheme. The general class of schemes studied in the present paper is the class of Ianov schemes, and the "structured'; schemes considered are the so-called Dijkstra schemes. The primary result is, from some points of view, a negative one: the intrinsic size of Dijkstra schemes may be exorbitant. To be precise, we construct a sequence F_{n} of Dijkstra schemes such that for each n, no smaller Dijkstra scheme is equivalent to F_{n}, and the number of edges in F_{n} grows exponentially. We then show there are weak equivalent nonstructured schemes G_{n} whose size grows only linearly

A Global Workspace perspective on mental disorders

Recent developments in Global Workspace theory suggest that human consciousness can suffer interpenetrating dysfunctions of mutual and reciprocal interaction with embedding environments which will have early onset and often insidiously staged developmental progression, possibly according to a cancer model. A simple rate distortion argument implies that, if an external information source is pathogenic, then sufficient exposure to it is sure to write a sufficiently accurate image of it on mind and body in a punctuated manner so as to initiate or promote simililarly progressively punctuated developmental disorder. There can, thus, be no simple, reductionist brain chemical 'bug in the program' whose 'fix' can fully correct the problem. On the contrary, the growth of an individual over the life course, and the inevitable contact with a toxic physical, social, or cultural environment, can be expected to initiate developmental problems which will become more intrusive over time, most obviously according to some damage accumulation model, but likely according to far more subtle, highly punctuated, schemes analogous to tumorigenesis. The key intervention, at the population level, is clearly to limit such exposures, a question of proper environmental sanitation, in a large sense, a matter of social justice which has long been understood to be determined almost entirely by the interactions of cultural trajectory, group power relations, and economic structure, with public policy. Intervention at the individual level appears limited to triggering or extending periods of remission, as is the case with most cancers

Entering the blackboard jungle: canonical dysfunction in conscious machines

The central paradigm of Artificial Intelligence is rapidly shifting toward biological models for both robotic devices and systems performing such critical tasks as network management and process control. Here we apply recent mathematical analysis of the necessary conditions for consciousness in humans in an attempt to gain some understanding of the likely canonical failure modes inherent to a broad class of global workspace/blackboard machines designed to emulate biological functions. Similar problems are likely to confront other possible architectures, although their mathematical description may be far less straightforward

Rational motivic path spaces and Kim's relative unipotent section conjecture

We initiate a study of path spaces in the nascent context of "motivic dga's", under development in doctoral work by Gabriella Guzman. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flavor. Based on a conversation with Joseph Ayoub, we prove that the path spaces of the punctured projective line over a number field are concentrated in degree zero with respect to Levine's t-structure for mixed Tate motives. This constitutes a step in the direction of Kim's conjecture.Comment: Minor corrections, details added, and major improvements to exposition throughout. 52 page

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas

The article attached is a preprint version of the final published article which can be accessed at the link below. The article title has been changed. For referencing purposes please use the published details. Copyright © 2010 Elsevier B.V. All rights reserved.A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. Two schemas are strongly equivalent if they always define the same function from initial states to final states for every interpretation. A subschema of a schema is obtained from a schema by deleting some of its statements. A schema S is liberal if there exists an initial state in the Herbrand domain such that the same term is not generated more than once along any executable path through S. In this paper, we introduce near-liberal schemas, in which this non-repeating condition applies only to terms not having the form g() for a constant function symbol g. Given a schema S that is linear (no function or predicate symbol occurs more than once in S) and a variable v, we compute a set of function and predicate symbols in S which is a subset of those defined by Weiser's slicing algorithm and prove that if for every while predicate q in S and every constant assignment w:=g(); lying in the body of q, no other assignment to w also lies in the body of q, our smaller symbol set defines a correct subschema of S with respect to the final value of v after execution. We also prove that if S is also free (every path through S is executable) and near-liberal, it is decidable which of its subschemas are strongly equivalent to S. For the class of pairs of schemas in which one schema is a subschema of the other, this generalises a recent result in which S was required to be linear, free and liberal.This work was supported by a grant from the Engineering and Physical Sciences Research Council, Grant EP/E002919/1

Homotopy theoretic models of identity types

This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type theory.Comment: 11 page

Derived Algebraic Geometry

This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.Comment: Final version. To appear in EMS Surveys in Mathematical Science