In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started to develop combined AI/ATP systems working in this setting. In this paper we first relate this project to the earlier large-scale automated developments done by Quaife with McCune’s Otter system, and to the discussions of the QED project about formalizing a significan...

A variety of empirical studies investigated the dream life of different psychopathologi-cal patient groups in order to shed more light on the inner processes taking place in these pa-tients and possibly find clues as to underlying etiological mechanisms (Overview: 1,2). The basic assumption underlying these studies is the so-called continuity hypothesis which entails that waking life occurrence...

The conclusions to be derived from Block's conceptual distinction between Access consciousness and Phenomenal consciousness (phenomenology or simply consciousness in what follows) have remained controversial since the publication of the paper in 1995. Do they pick up di erent properties? This debate has moved away from the conceptual domain into the empirical one. Whereas in the original paper,...

This paper is a result of more than 3 decades of intensive research and development. It exhibits several keys to understanding and conceiving technologies considered or even proved by the standards of modern science as impossible to produce, such as, for instance, the automated synthesis of recursive programs. The paper shows a direction that allows to escape from limits of contemporary science...

Dreams are a remarkable experiment in psychology and neuroscience, conducted every night in every sleeping person. They show that the human brain, disconnected from the environment, can generate an entire world of conscious experiences by itself. Content analysis and developmental studies have promoted understanding of dream phenomenology. In parallel, brain lesion studies, functional imaging a...

The legitimacy and accountability of polycentric regulatory regimes, particularly at the transnational level, has been severely criticized, and the search is on to find ways in which they can be enhanced. This paper argues that before developing even more proposals, we need to pay far greater attention to the dynamics of accountability and legitimacy relationships, and to how those in regulator...

Work with dreams in the group analysis represents an important part of the analytical work, with insight into unconscious experiences of the individual dreamer, and his transferrential relations with the therapist, other members of the group, and with the group as a whole. The way dreams are addressed varies from one therapist to another, and in line with that, members of the group have varying...