This text presents the research field of natural/unconventional computing as it appears in the book COMPUTING NATURE. The articles discussed consist a selection of works from the Symposium on Natural Computing at AISB-IACAP (British Society for the Study of Artificial Intelligence and the Simulation of Behaviour and The International Association for Computing and Philosophy) World Congress 2012, held at the University of Birmingham, celebrating Turing centenary. The COMPUTING NATURE is about nature considered as the totality of physical existence, the (...) universe. By physical we mean all phenomena, objects and processes, that are possible to detect either directly by our senses or via instruments. Historically, there have been many ways of describing the universe (cosmic egg, cosmic tree, theistic universe, mechanistic universe) while a particularly prominent contemporary approach is computational universe, as discussed in this article. See more: http://arxiv.org/abs/1210.7784. (shrink)

The articles in this volume present a selection of works from the Symposium on Natu-ral/Unconventional Computing at AISB/IACAP (British Society for the Study of Artificial Intelligence and the Simulation of Behaviour and The International Association for Computing and Philosophy) World Congress 2012, held at the University of Birmingham, celebrating Turing centenary. This book is about nature considered as the totality of physical existence, the universe. By physical we mean all phenomena - objects and processes - that are possible to (...) detect either directly by our senses or via instruments. Historically, there have been many ways of describ-ing the universe (cosmic egg, cosmic tree, theistic universe, mechanistic universe) and a par-ticularly prominent contemporary approach is computational universe. (shrink)

This work deals with the context of formation of Professor Dr. John Hadji Argyris in Germany during the 1930s and Switzerland during the 1940s. Using primary documentation, we elucidate publications with scientific theories of structural analysis made during his job as a member of a secret Commission in the Royal Aeronautical Society, in England. We explore the content of the serial publication of the Theorems of Energy and Structural Analysis of the Aircraft Engineering Journal, from 1954 and 1955, from Argyris’s (...) lectures at Imperial College, London, where he was a professor and director of the Department of Aeronautical Structures. The goal of this research is to analyze the systematic method of calculation of Argyris, starting from the theory of Computational Simulation. From this point of view, the conceptual mathematical model would be a computational model based on the unification of the concepts of Elasticity Theory and Energy Theorems formulated in matrix mathematics for communication with the computer. (shrink)

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

Value in the British National Health Service have shifted away from patient care towards financial control. However, in the quest for efficiency , huge amounts of NHS money have been wasted on computer system which failed. In this paper, I draw on a case study to explore some of the ethical issues which underlie this kind of waste of resources. Issues include the gap between public pronouncements and personal experience, the chaos of which lies behind the facade of (...) rationality, and the systematic silencing of people, usually women, who question the viability of computer systems which are created for private gain rather than public service. (shrink)

This paper examines the email discursive practices of particular speakers of two different languages, namely Peninsular Spanish and British English. More specifically, our study focuses on (in)formality and (in)directness therein, for these lie at the heart of considerable scholarly debate regarding, respectively (i) the general stylistic drift towards orality and informality in technology-mediated communication, and (ii) the degree of communicative (in)directness - within broader politeness orientations - of speakers of different languages, specifically an orientation towards directness in Peninsular Spanish (...) vis-à-vis indirectness in British English. The aim of this paper is thus to investigate the role of (in)formality and (in)directness in email messages sent by members of two groups of undergraduate students to their university lecturers. To this end, a corpus of 100 impromptu emails was compiled and analysed. Results revealed complex, fluctuating patterns regarding levels of (in)formality and (in)directness that underlined cross-cultural variation in the way that different sociopragmatic principles found expression in a specific computer-mediated communicative situation. (shrink)

The computer is a relatively new invention in the history of man. It has found application in many sectors, and will undoubtedly influence our society. As we shall show, however, the computer is linked to a chain of development that started 10,000 years ago, when a society of hunters and gatherers changed into an agricultural society. The computer is completely dependent on this development towards a more and more formalized society.

This article discusses the British Nationalization of Labour Society , a group formed in response to the political ideas brought forth by Edward Bellamy’s novel Looking Backward. The article traces the roots of this group in British radicalism in general, and in campaigns for land nationalization and the works of Henry George in particular. The NLS were grounded in a deeply materialist and rationalist worldview and the influence of this on their political ideas and practice is shown. Relationships (...) between the ideas of the British Bellamyites and the ideas of British socialists are also discussed. (shrink)

The Society for the Promotion of Hellenic Studies, established in 1879, provided arguments for the bridging of the gap that separated British Hellenism from British philhellenism for the most part of the nineteenth century. For academics and scholars interested in Greek civilization sympathy with modern Greece was always a matter of choice, which might be influenced by classical reading but did not constitute an indispensable part of it. The necessity to visit Greece, study on the spot and, when (...) possible, bring to light the material remnants of Hellenic civilization, and to trace among the people living evidence of the classical age emerged with the introduction of historicity as a concept and archaeology as a practice into British Hellenism. The formation of the Society represented a single but important step in this process. Its rules, on the other hand, “officially” sanctioned the assumption of the continuity of the Greek race. (shrink)

Originally published in 1986, this was a study of the British ethical societies in the nineteenth and early twentieth centuries. These societies emerged out of the vortex of distinctive social, philosophical, and religious ideas in the middle of the nineteenth century with the specific educative aim of providing society with non-religious moral instruction. They became havens of discussion, rallying-points for progressive campaigns, and places of secular worship for those estranged by Church and dissent. This network of humanistic clubs was (...) established by an American, Stanton Coit, who had already set up a Society for Ethical Culture in New York. By 1906, the ethical movement in Britain comprised forty-six societies, though its influence began to wane after World War I. Dr Mackillop's comprehensive account considers the significant events and personalities in the history of the ethical movement. (shrink)

The Society for the Protection of Science and Learning was begun in London in 1933, and became a key agency in the international effort to rescue refugee scholars. The SPSL also raised political awareness among British scientists, uniting many voices in the struggle against the Nazi assault on academic freedom. This paper traces the evolution of the Society from 1933 to 1939.

Science is studied in very different ways by historians, philosophers, psychologists, and sociologists. Not only do researchers from different fields apply markedly different methods, they also tend to focus on apparently disparate aspects of science. At the farthest extremes, we find on one side some philosophers attempting logical analyses of scientific knowledge, and on the other some sociologists maintaining that all knowledge is socially constructed. This paper is an attempt to view history, philosophy, psychology, and sociology of science from a (...) unified perspective. (shrink)

Selection of Critical Notices of a number of books on Wittgenstein's work - over 20 by 2013 - including books devoted to The TRACTATUS, the PHILOSOPHICAL INVESTIGATIONS and various collections of essays etc. by Wittgenstein scholars and others.

This paper is a review of 39 years of SIGCAS publications in Computers and Society, the newsletter of ACM SIGCAS. The publication is archived in the ACM Digital Library [12]. I set out to examine SIGCAS through its publications.