To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This chapter examines the foundations and limits of computation and their implications for artificial intelligence. It begins with the Entscheidungsproblem and Alan Turing’s formulation of the universal Turing machine, introducing the idea that computation itself can be studied independently of any physical machine. The chapter explains the halting problem and related undecidability results, showing that some well-defined questions cannot be answered by any algorithm, even in principle. It then turns to computational complexity, distinguishing between problems that are solvable in theory and those that are solvable efficiently, and introduces the P versus NP problem as a central open question. The chapter explores how computational hardness can function not only as a limitation but also as a resource, underpinning modern cryptography through one-way functions and key-exchange protocols. Finally, the discussion turns to artificial intelligence, contrasting early rule-based approaches with modern machine learning and neural networks. Recent advances in deep learning and large language models are presented as the culmination of decades of theoretical insight, highlighting both their remarkable capabilities and the enduring structural limits imposed by computation itself.
The epilogue reflects on the unifying themes that emerge across the scientific ideas explored in this book and considers their implications for the future of knowledge. A central lesson is that modern science has revealed fundamental limits – to prediction, to certainty, and even to what can be known in principle. From Gödel’s incompleteness theorems and Turing’s limits of computation to quantum uncertainty and chaotic dynamics, uncertainty appears not as a failure of understanding but as a structural feature of reality. A second recurring theme is that extraordinary complexity can arise from simple underlying rules, whether in computation, physics, biology, or planetary processes. Looking forward, the epilogue considers the growing role of artificial intelligence in scientific discovery, suggesting that future insights may increasingly be generated by systems whose internal reasoning is difficult for humans to interpret, even when their results can be verified. The book concludes by arguing that making sense of modern science requires embracing both humility and curiosity, as humanity navigates a future shaped by powerful ideas, computational tools, and enduring uncertainty.
This chapter introduces the fundamental concepts of computational problems, algorithms, and time and space efficiency. These concepts are formally defined and illustrated with examples. The major time and space complexity classes P, EXP, L, and PSPACE are introduced. The chapter concludes by defining reductions, which are tools for relating complexities of different problems.
Einstein's theory of relativity, the butterfly effect, deep learning, game theory. If you've heard these buzzwords but are a bit fuzzy on the details, then this book is for you. Professor Lev Reyzin will take you on a fascinating whirlwind tour of the science behind these concepts, answering your burning questions about Pangea, DNA, and what exactly is quantum computing. Using clear language and emphasizing big ideas over technical details, this book shows that science can be enjoyed by everyone. Each chapter explores a different foundational scientific idea, ending with a brief history of the topic, further reading, and more technical details for the mathematically inclined reader. Much of science is developed through curiosity about the world around us, and this book will help feed that curiosity in you.
How are the humanities transformed in the digital era? This book describes the reconstruction of the humanities after the largest shifts in the production of knowledge since the printing press. It addresses a wide range of disciplines, providing a history of those shifts and how humanists have responded to them. It argues that we are all digital humanists now, since we are all addressed by an era of pervasive digital research, reading, teaching, and learning. This book provides a history of digital transformations in the humanities since the first computers, defines the digital humanities through specific communities, conversations, tactics, and intersections, and poses the key questions of the field. Rather than particular technologies or tools, this Introduction centers on the lasting intellectual objects, methods, and concerns of the humanities from the late medieval period to the explosive growth of generative AI.
In this brief article, I argue that the computer machines at our disposal cannot compute what the mind-brain system can process in everyday life. Algorithms cannot replicate the associations between mental events in our experience, nor can logical conjunctions do so. This gap arises from the difficulty – or even the impossibility – of representing activities that involve a significant degree of freedom using an algorithm.
Classical methods such as ordinary least squares (OLS) were designed for datasets with just a handful of predictors. However, the trend over the last 30 years or so has been towards larger datasets, in particular where the number of predictors may be large even compared with the number of observations --- so-called high-dimensional data. In such settings, it may be advantageous to consider penalised estimators that reduce variance, at the expense of introducing some bias. We study both ridge regression and Lasso estimators, with the latter having the attractive property that it performs simultaneous variable selection and parameter estimation. The Lasso can be computed efficiently using coordinate descent, and we present finite-sample guarantees on its prediction, estimation and variable selection performance. We also consider extensions such as the square-root Lasso, the debiased Lasso and complementary pairs stability selection.
This article introduces the Markov Riding Position Sampler (MaRiPoSa) for simulating Canadian elections under alternative configurations of electoral district boundaries. Despite Canada’s strictly non-partisan system of boundary design, MaRiPoSa demonstrates that, for a single Canadian election, there are alternative, allowable and more equitable configurations of boundaries to return either Liberal or Conservative governments without changing the vote or location of a single voter. If the same votes in the same places produce different governments depending on which valid configuration of boundaries happens to be used, to what extent can we say that it is voters and their territorial distributions that determine the outcome of Canadian elections? Canada will need to adjust principles and institutions to prepare for the new technological environment brought about by advances in computing and artificial intelligence.
The Coda shows how the post-Enlightenment desire for a science of verse has been fundamental to contemporary machine learning technologies. It also reflects on the historical development, ideological commitments and epistemological foundations of the normal scientific study of poetry, both at its inception and in its enduring legacies, inquiring into what is at stake when techno-scientific reason attempts to exert its full domination over the poetic imagination, into how the nineteenth-century dream of a science of verse has shaped contemporary scientific exploration. It does so via the often-overlooked mid-century poet and scientific critic Josephine Miles.
This article presents BOOLEAN MONADIC RECURSIVE SCHEMES (BMRSs), adapted from the mathematical study of computation, as a phonological theory that both explains the observed computational properties of phonological patterns and directly captures phonological substance and linguistically significant generalizations. BMRSs consist of structures defined as logical predicates and situated in an ‘if ... then ... else’ syntax in such a way that they variably license or block the features that surface in particular contexts. Three case studies are presented to demonstrate how these grammars (i) express conflicting pressures in a language, (ii) naturally derive elsewhere condition effects, and (iii) capture typologies of repairs for marked structures.
The universe we live in is both strange and interesting. This strangeness comes about because, at the most fundamental level, the universe is governed by the laws of quantum mechanics. This is the most spectacularly accurate and powerful theory ever devised, one that has given us insights into many aspects of the world, from the structure of matter to the meaning of information. This textbook provides a comprehensive account of all things quantum. It starts by introducing the wavefunction and its interpretation as an ephemeral wave of complex probability, before delving into the mathematical formalism of quantum mechanics and exploring its diverse applications, from atomic physics and scattering, to quantum computing. Designed to be accessible, this volume is suitable for both students and researchers, beginning with the basics before progressing to more advanced topics.
The twenty-first century is a digital century, and the use of digital media and data-analyzing technology has become widespread and even trendy in the humanities. What does this mean for the legacy of the Holocaust? What are the advantages and challenges of digitalization in the context of Holocaust archives, for example with online access to videos of survivor testimony? Are there new strategies for representing or analyzing the Holocaust that draw on the techniques of digital humanities? This chapter explores the uses (and abuses) of digital technologies for both analyzing the history of the Holocaust and presenting that history to a public audience. It also considers the question of the post-survivor future, for example holograms of survivors, and what this says about “authenticity” and authority.
This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of artificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understanding of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so we suggest that “AI philosophy” provides a new method for philosophy.
Let $g(x)=x^3+ax^2+bx+c$ and $f(x)=g(x^3)$ be irreducible polynomials with rational coefficients, and let $ {\mathrm{Gal}}(f)$ be the Galois group of $f(x)$ over $\mathbb {Q}$. We show $ {\mathrm{Gal}}(f)$ is one of 11 possible transitive subgroups of $S_9$, defined up to conjugacy; we use $ {\mathrm{Disc}}(f)$, $ {\mathrm{Disc}}(g)$ and two additional low-degree resolvent polynomials to identify $ {\mathrm{Gal}}(f)$. We further show how our method can be used for determining one-parameter families for a given group. Also included is a related algorithm that, given a field $L/\mathbb {Q}$, determines when L can be defined by an irreducible polynomial of the form $g(x^3)$ and constructs such a polynomial when it exists.
Methods for analyzing and visualizing literary data receive substantially more attention in digital literary studies than the digital archives with which literary data are predominantly constructed. When discussed, digital archives are often perceived as entirely different from nondigital ones, and as passive – that is, as novel and enabling (or disabling) settings or backgrounds for research rather than active shapers of literary knowledge. This understanding produces abstract critiques of digital archives, and risks conflating events and trends in the histories of literary data with events and trends in literary history. By contrast, an emerging group of media-specific approaches adapt traditional philological and media archaeological methods to explore the complex and interdependent relationship between literary knowledges, technologies, and infrastructures.
Starting off substantive engagement with Sun Tzu with a focus on calculation serves a positive purpose. It is a way of emphasizing to contemporary audiences that there is more to Sun Tzu than being tricky or unorthodox – the strands of his way of war that readers, at least Western ones, widely note and often lionize. In present usage, the umbrella term “calculation” is intended to serve as a flexible rubric capable of covering intendedly rational judgments of more than one kind, many intuitive, others more formally structured.
The Computational Theory of Mind says that the mind is a computing system. It has a long history going back to the idea that thought is a kind of computation. Its modern incarnation relies on analogies with contemporary computing technology and the use of computational models. It comes in many versions, some more plausible than others. This Element supports the theory primarily by its contribution to solving the mind-body problem, its ability to explain mental phenomena, and the success of computational modelling and artificial intelligence. To be turned into an adequate theory, it needs to be made compatible with the tractability of cognition, the situatedness and dynamical aspects of the mind, the way the brain works, intentionality, and consciousness.
This article addresses contemporary art as a means to investigate how, and to what extent, financial logic impacts upon the socio-cultural sphere. Its contribution is twofold: on the one hand, the article shows that contemporary art's valuation practices increasingly reflect the logic of capitalization; on the other hand, it assesses the emancipatory potential of blockchain technology for the cultural sphere. In relation to the latter I argue that, in spite of the technological novelty of blockchain-based art projects, these nonetheless fail to challenge a received logic of finance. This exposes the limitations to technological determinism as a means of countering financial power in the socio-cultural sphere, and points to new problems for art's valuation methods in relation to the liquid logic of algorithmic finance.
This article presents a speculative philosophical account of money as a computational machine. It does so by leveraging a computational and machinic framework, drawing primarily from the work of Philip Mirowski and Jean Cartelier. The argument is focused on a specific level of abstraction, i.e., the monetary operations involved in the creation and transfer of units of account, asking whether it is possible to view these operations as computations that mediate economic relations. As the primary function of such a machine would be one of social coordination, the article also highlights the political consequences of its implementation across society.