There is a long history of the science of intelligent machines and its potential to provide scientific insights have been debated since the dawn of AI. In particular, there is renewed interest in the role of AI in research and research policy as an enabler of new methods, processes, management and evaluation which is still relatively under-explored. This empirical paper explores interviews with leading scholars on the potential impact of AI on research practice and culture through deductive, thematic analysis to (...) show the issues affecting academics and universities today. Our interviewees identify positive and negative consequences for research and researchers with respect to _collective_ and _individual use_. AI is perceived as helpful with respect to information gathering and other narrow tasks, and in support of impact and interdisciplinarity. However, using AI as a way of ‘speeding up—to keep up’ with bureaucratic and metricised processes, may proliferate negative aspects of academic culture in that the expansion of AI in research should assist and not replace human creativity. Research into the future role of AI in the research process needs to go further to address these challenges, and ask fundamental questions about how AI might assist in providing new tools able to question the values and principles driving institutions and research processes. We argue that to do this an explicit movement of meta-research on the role of AI in research should consider the effects for research and researcher creativity. Anticipatory approaches and engagement of diverse and critical voices at policy level and across disciplines should also be considered. (shrink)

1. The Physical Church-Turing Thesis. Physicists often interpret the Church-Turing Thesis as saying something about the scope and limitations of physical computing machines. Although this was not the intention of Church or Turing, the Physical Church Turing thesis is interesting in its own right. Consider, for example, Wolfram’s formulation: One can expect in fact that universal computers are as powerful in their computational capabilities as any physically realizable system can be, that they can simulate any physical system . . . (...) No physically implementable procedure could then shortcut a computationally irreducible process. (Wolfram 1985) Wolfram’s thesis consists of two parts: (a) Any physical system can be simulated (to any degree of approximation) by a universal Turing machine (b) Complexity bounds on Turing machine simulations have physical significance. For example, suppose that the computation of the minimum energy of some system of n particles takes at least exponentially (in n) many steps. Then the relaxation time of the actual physical system to its minimum energy state will also take exponential time. (shrink)

In this essay, I take up the question of the time of medicine in relation to two events in the U.S. from 2005—the Terri Schiavo case and Hurricane Katrina and its aftermath. I consider both cases as “mediatized medical events,” that is, as events in which the practices of medicine received considerable media attention at a particular historical moment; or, we might say, as events that brought a convergence between media and medical practices. I juxtapose these two events because, placed (...) side by side, they help make visible two stories of catastrophe, as well as the many difficulties of telling stories of catastrophe. Bringing together these seemingly divergent events allows me to draw connections that I hope will expand our bioethical imaginary beyond the reductive approaches that tend to dominate the practice of bioethics today. I also juxtapose them to signal a bioethical tension at the heart of the neoliberal state’s response to catastrophe in general, what Foucault might have diagnosed as the difference between making live and letting die. In these two events, we glimpsed—if only fleetingly—the state’s operation of making live and letting die, and medicine’s central role in that operation, as well as the re-assertion of medical sovereignty in crisis events. (shrink)

In this paper, we investigate the phenomenon ofspeed-upin the context of theories of truth. We focus on axiomatic theories of truth extending Peano arithmetic. We are particularly interested on whether conservative extensions of PA have speed-up and on how this relates to a deflationist account. We show that disquotational theories have no significant speed-up, in contrast to some compositional theories, and we briefly assess the philosophical implications of these results.

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...) implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...) implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

Many situations require the simultaneous processing of auditory and visual information, however, stimuli presented to one sensory modality can sometimes interfere with processing in a second sensory modality (i.e., modality dominance). The current study further investigated modality dominance by examining how task demands and bimodal presentation affect speeded auditory and visual discriminations. Participants in the current study had to quickly determine if two words, two pictures, or two word-picture pairings were the same or different, and we manipulated task demands across (...) three different conditions. In an immediate recognition task, there was only one second between the two stimuli/stimulus pairs and auditory dominance was found. Compared to the respective unimodal baselines, pairing pictures and words together slowed down visual responses and sped up auditory responses. Increasing the interstimulus interval to four seconds and blocking verbal rehearsal weakened auditory dominance effects, however, conflicting and redundant visual cues sped up auditory discriminations. Thus, simultaneously presenting pictures and words had different effects on auditory and visual processing, with bimodal presentation slowing down visual processing and speeding up auditory processing. These findings are consistent with a proposed mechanism underlying auditory dominance, which posits that auditory stimuli automatically grab attention and attenuate/delay visual processing. (shrink)

In this paper we show some non-elementary speed-ups in logic calculi: Both a predicative second-order logic and a logic for fixed points of positive formulas are shown to have non-elementary speed-ups over first-order logic. Also it is shown that eliminating second-order cut formulas in second-order logic has to increase sizes of proofs super-exponentially, and the same in eliminating second-order epsilon axioms. These are proved by relying on results due to P. Pudlák.

We provide and interpret a new measure independent characterization of the Gödel speed-up phenomenon. In particular, we prove a theorem that demonstrates the indifference of the concept of a measure independent Gödel speed-up to an apparent weakening of its definition that is obtained by requiring only those measures appearing in some fixed Blum complexity measure to participate in the speed-up, and by deleting the “for all r” condition from the definition so as to relax the required amount of speed-up. We (...) interpret our results as correlating the relative difficulty of mechanically recognizing theories with the relative power and the relative abstractness of the theories. We conclude by providing two open problems concerning possible similarities and relationships between the Blum speedability and Gödel speed-up phenomena. MSC: 03D15, 03F20. (shrink)

It is known from work of P. Young that there are recursively enumerable sets which have optimal orders for enumeration, and also that there are sets which fail to have such orders in a strong sense. It is shown that both these properties are widespread in the class of recursively enumerable sets. In fact, any infinite recursively enumerable set can be split into two sets each of which has the property under consideration. A corollary to this result is that there (...) are recursive sets with no optimal order of enumeration. (shrink)

Smullyan in [Smu61] identified the recursion theoretic essence of incompleteness results such as Gödel's first incompleteness theorem and Rosser's theorem. Smullyan showed that, for sufficiently complex theories, the collection of provable formulae and the collection of refutable formulae are effectively inseparable—where formulae and their Gödel numbers are identified. This paper gives a similar treatment for proof speed-up. We say that a formal system S1is speedable over another system S0on a set of formulaeAiff, for each recursive functionh, there is a formulaαinAsuch (...) that the length of the shortest proof ofαin S0is larger thanhof the shortest proof ofαin S1. We characterize speedability in terms of the inseparability by r.e. sets of the collection of formulae which are provable in S1but unprovable in S0from the collectionA–where again formulae and their Gödel numbers are identified. We provide precise definitions of proof length, speedability and r.e. inseparability below.We follow the terminology and notation of [Rog87] with borrowings from [Soa87]. Below,ϕis an acceptable numbering of the partial recursive functions [Rog87] andΦa complexity measure associated withϕ[Blu67], [DW83]. (shrink)

We study the measure independent character of Godel speed-up theorems. In particular, we strengthen Arbib's necessary condition for the occurrence of a Godel speed-up [2, p. 13] to an equivalence result and generalize Di Paola's speed-up theorem [4]. We also characterize undecidable theories as precisely those theories which possess consistent measure independent Godel speed-ups and show that a theory τ 2 is a measure independent Godel speed-up of a theory τ 1 if and only if the set of undecidable sentences (...) of τ 1 which are provable in τ 2 is not recursively enumerable. (shrink)

Problem solving can be readily described as one of the key activities regularly performed by professionals in any workplace setting. Despite its importance, however, there is relatively little linguistic research which looks at the complex ways in which problems are constructed in discourse. This article sees the enactment of a ‘problem’ as a discursive phenomenon with fluid boundaries. It draws on business meeting data recorded in multinational companies in Europe and focuses on excerpts identified by the participants as having a (...) PbS function. The data show that problem solving processes and practice are anchored to the structure of the organizations, the local history and employees’ shared perceptions of professional practices and hierarchies in their workplace. The analysis also shows two focal points in the PbS talk of the participants in this study, namely identification of a problem and its ownership. These, however, are not predetermined starting points but rather locally constructed in relation to the status, expertise and shared/past history of the interactants. (shrink)

To accelerate the adoption of a new method with a high potential to replace or extend an existing, presumably less accurate, medical scoring system, evaluation should begin days after the new concept is presented publicly, not years or even decades later. Metaphorically speaking, as chameleons capable of quickly changing colors to help their bodies adjust to changes in temperature or light, health-care decision makers should be capable of more quickly evaluating new data-driven insights and tools and should integrate the highest (...) performing ones into national and international care systems. Doing so is essential, because it will truly save the lives of many individuals. (shrink)

Everywhere, life seems to be speeding up: we talk of “fast food” and “speed dating.” But what does the phenomenon of social acceleration really entail, and how new is it? While much has been written about our high-speed society in the popular media, serious academic analysis has lagged behind, and what literature there is comes more from Europe than from America. This collection of essays is a first step toward exposing readers on this side of the Atlantic to the importance (...) of this phenomenon and toward developing some preliminary conceptual categories for better understanding it. Among the major questions the volume addresses are these: Is acceleration occurring across all sectors of society and all dimensions of life, or is it affecting some more than others? Where is life not speeding up, and what results from this disparity? What are the fundamental causes of acceleration, as well as its consequences for everyday experience? How does it affect our political and legal institutions? How much speed can we tolerate? The volume tackles these questions in three sections. Part 1 offers a selection of astute early analyses of acceleration as experienced in the late nineteenth and early twentieth centuries. Part 2 samples recent attempts at analyzing social acceleration, including translations of the work of leading European thinkers. Part 3 explores acceleration’s political implications. (shrink)

Everyone agrees that the world is accelerating. With advances in communication, transportation and information processing technologies, it is clear that the pace of events in global politics is speeding up at an alarming rate. The implications of this new speed however, continue to be a significant source of debate. Will acceleration lead to a more interconnected, productive, peaceful, and humane world; or a nightmarish descent into ecological devastation, economic exploitation and increasingly violent warfare? The Politics of Speed attempts to map (...) the contours of the new global space of speed, and investigates key issue areas âe" including democratic governance, warfare, capitalism, globalization and transnational activism âe" to uncover the ways in which acceleration is shaping the world. The book uses contemporary political theory (especially the works of Deleuze and Guattari) to develop an ontological account of speed, showing how its effects are frequently far more complex and surprising than we might expect. The result is an attempt to craft a way of engaging with global acceleration that might help avoid the dangers of speed, while embracing the possibilities it provides us with to produce a safer, more egalitarian, democratic and pluralistic world. (shrink)

It is still perhaps not widely appreciated that in 1905 Einstein used his postulate concerning the ‘constancy’ of the light-speed in the ‘resting’ frame, in conjunction with the principle of relativity, to derive numerical light-speed invariance. Now a ‘weak’ version of the relativity principle (or, alternatively, appeal to the Michelson—Morley experiment) leads from Einstein's light postulate to a condition that we call universal light-speed constancy. which is weaker than light-speed invariance. It follows from earlier independent investigations (Robertson [1949]; Steigler [1952]; (...) Tzanakis and Kyritsis [1984]) that this condition is none the less sufficient to derive the Lorentz transformations up to a scale factor, given the well-known kinematic principle of ‘reciprocity’. In this paper, we follow Robertson and explore the kinematics consistent with universal light-speed constancy without imposing reciprocity, and we recover the Lorentz transformations by further appeal only to the weak relativity principle and spatial isotropy. (shrink)

_A leading thinker asks why “faster” is synonymous with “better” in our hurried world and suggests how to take control of our runaway lives_ We live in an ever-accelerating world: faster computers, markets, food, fashion, product cycles, minds, bodies, kids, lives. When did everything start moving so fast? Why does speed seem so inevitable? Is faster always better? Drawing together developments in religion, philosophy, art, technology, fashion, and finance, Mark C. Taylor presents an original and rich account of a great (...) paradox of our times: how the very forces and technologies that were supposed to free us by saving time and labor now trap us in a race we can never win. The faster we go, the less time we have, and the more we try to catch up, the farther behind we fall. Connecting our speed-obsession with today’s global capitalism, he composes a grand narrative showing how commitments to economic growth and extreme competition, combined with accelerating technological innovation, have brought us close to disaster. Psychologically, environmentally, economically, and culturally, speed is taking a profound toll on our lives. By showing how the phenomenon of speed has emerged, Taylor offers us a chance to see our pace of life as the product of specific ideas, practices, and policies. It’s not inevitable or irreversible. He courageously and movingly invites us to imagine how we might patiently work towards a more deliberative life and sustainable world. (shrink)