Adjoint exactness

Plato's ideas and Aristotle's real types from the classical age, Nominalism and Realism of the mediaeval period and Whitehead's modern view of the world as pro- cess all come together in the formal representation by category theory of exactness in adjointness (a). Concepts of exactness and co-exactness arise naturally from ad- jointness and are needed in current global problems of science. If a right co-exact valued left-adjoint functor ( ) in a cartesian closed category has a right-adjoint left- exact functor ( ), then physical stability is satis ed if itself is also a right co-exact left-adjoint functor for the right-adjoint left exact functor ( ): a a . These concepts are discussed here with examples in nuclear fusion, in database interroga- tion and in the cosmological ne structure constant by the Frederick construction

ScratchMaths: evaluation report and executive summary

Since 2014, computing has been part of the primary curriculum. ‘Scratch’ is frequently used by schools, and the EEF funded this trial to test whether the platform could be used to improve pupils’ computational thinking skills, and whether this in turn could have a positive impact on Key Stage 2 maths attainment. Good computational thinking skills mean pupils can use problem solving methods that involve expressing problems and their solutions in ways that a computer could execute – for example, recognising patterns. Previous research has shown that pupils with better computational thinking skills do better in maths. The study found a positive impact on computational thinking skills at the end of Year 5 – particularly for pupils who have ever been eligible for free school meals. However, there was no evidence of an impact on Key Stage 2 maths attainment when pupils were tested at the end of Year 6. Many of the schools in the trial did not fully implement ScratchMaths, particularly in Year 6, where teachers expressed concerns about the pressure of Key Stage 2 SATs. But there was no evidence that schools which did implement the programme had better maths results. Schools may be interested in ScratchMaths as an affordable way to cover aspects of the primary computing curriculum in maths lessons without any adverse effect on core maths outcomes. This trial, however, did not provide evidence that ScratchMaths is an effective way to improve maths outcomes

Infinite Singletons and the Logic of Freudian Theory

The aim of this paper is to advance a formal description of the implicit logic grounding of the psychoanalytic theory. We therefore propose a new interpretation of the logical features of the Freudian unconscious process, starting from the Bi-logic formulation put forward by the Chilean psychoanalyst Matte Blanco. We conceive the universal undifferentiated state of the deep psychoanalytic Unconscious in terms of particular sets named infinite singletons, and we show how they can represent the logical foundations for a formal description of the Primary process. We first disclose some implicit assumptions underlying the common logical language. In doing so, we discover an unexpected presence of symmetry even in the most basic of logical and verbal structures. In the approach derived, we show that infiniteness, not finiteness, is the primary mode of sets, and therefore, of thinking. The pivotal consequence of this model is that the unconscious elements cannot be characterised in the absence of external reality, which produces the collapse of infinite sets and allows for the emergence of linguistic representations. Finally, we discuss how the model could represent a platform to formalise further developments of psychoanalytic theory, in particular with respect to the shift from the First to the Second Topics in Freudian theory

On the Algorithmic Nature of the World

We propose a test based on the theory of algorithmic complexity and an experimental evaluation of Levin's universal distribution to identify evidence in support of or in contravention of the claim that the world is algorithmic in nature. To this end we have undertaken a statistical comparison of the frequency distributions of data from physical sources on the one hand--repositories of information such as images, data stored in a hard drive, computer programs and DNA sequences--and the frequency distributions generated by purely algorithmic means on the other--by running abstract computing devices such as Turing machines, cellular automata and Post Tag systems. Statistical correlations were found and their significance measured.Comment: Book chapter in Gordana Dodig-Crnkovic and Mark Burgin (eds.) Information and Computation by World Scientific, 2010. (http://www.idt.mdh.se/ECAP-2005/INFOCOMPBOOK/). Paper website: http://www.mathrix.org/experimentalAIT

Knowledge management: Using a knowledge requirements framework to enhance UK health sector supply chains

The gaps of mismatch both knowledge and understanding of beneficiaries and solution providers at the initial stage of developing projects have led to the failures of many projects including supply chains (SC) and related information technology systems (ITS) projects (Lyytinen and Hirschheim, 1987) . The aims of this paper are first, to address theoretical framework by bridging the gaps of different types of knowledge. Second, to establishing business requirements and the flow of information in supply chains between beneficiaries and solution providers in the long and complicated supply chains of the UK’s Health Sector. On the basis of brief introduction to knowledge, knowledge management and supply chain, the paper presents a practical framework that has been developed through critical and relevant literatures in the above three subject areas. Techniques and Tools stem from both management science and information systems were used to provide a possible solution for the problem in bridging the gaps of mismatch knowledge and understanding at the initial stage of identifying requirements in projects through knowledge sharing and transfer