SearcharxivSearch

arXiv subjects

Dean Rickles

Publications and source records attributed to Dean Rickles.

7 recordsLinked to original sources

That Damned Equation. Rigour, Credit Attribution, and the Wheeler-DeWitt Equation 1962-1967

The notion of rigour relevant to the practice of physics is an endogenous one. Theoretical physics has its own internal norms about mathematical practice and notions of legitimate derivations or formal objects. These norms are often implicit, local, and change in substantial ways over time. Moreover, norms of rigour in theoretical physics, at least in the mid-twentieth century, are primarily focused on the goal of removing barriers for concrete calculation and clear conceptualisation. Rather than pursuit of rigour for its own sake, or to achieve some `higher' standard of truth, theoretical physicists seek to `rigorise' initial, semi-formal constructions in order to render formally well-defined models with which they can make concrete contact with the world, through calculations of quantities of interest. In what follows we will support this thesis based upon a detailed historical case study of the development of and attribution of credit for the Wheeler-DeWitt equation in the period 1962-67. Drawing upon archival material and the published record we develop and defend the explanatory hypothesis that it was the rigorisation of the equation via the expression for the inner product that was the crucial step in the work of Wheeler and DeWitt rather than the statement of the equation itself.

physics.hist-ph

Towards a Generalized Theory of Observers

We propose a formal framework for understanding and unifying the concept of observers across physics, computer science, philosophy, and related fields. Building on cybernetic feedback models, we introduce an operational definition of minimal observers, explore their role in shaping foundational concepts, and identify what remains unspecified in their absence. Drawing upon insights from quantum gravity, digital physics, second-order cybernetics, and recent ruliological and pregeometric approaches, we argue that observers serve as indispensable reference points for measurement, reference frames, and the emergence of meaning. We show how this formalism sheds new light on debates related to consciousness, quantum measurement, and computational boundaries; by way of theorems on observer equivalences and complexity measures. This perspective opens new avenues for investigating how complexity and structure arise in both natural and artificial systems.

quant-ph

Music, Immortality, and the Soul

Music has been called the temporal art par excellence. Yet, as this paper explains, it is also the atemporal art par excellence. The contradiction is, however, only apparent, and a result of viewing music from two possible perspectives. That it has these two perspectives is the focus of this paper. In particular, the way in which these two aspects of music allow it to function as a kind of conduit between transcendent and immanent; immaterial and material. This can help explain the power of music to touch places deep in the soul (the part of us that transcends matter and time), that other forms of art struggle to reach. A somewhat similar debate occurs in looking at mathematics from an ontological point of view. In particular the treatment of the real numbers. There are curious properties of real numbers that seem to put them, like music, in the realm of the transcendent: in terms of the amount of information to specify them, one requires infinite computer time since there is no repeating pattern to their decimal expansions. One must simply evolve the sequence, working through it, despite the fact that it might have a perfectly situated home in Platonia. In other words, bringing them into this world demands a temporal element. We explore these and other links to a variety of issues in physics, ultimately arguing for dual-aspect monism.

physics.hist-ph

Pregeometry, Formal Language and Constructivist Foundations of Physics

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model.

physics.hist-ph

Ruliology: Linking Computation, Observers and Physical Law

Stephen Wolfram has recently outlined an unorthodox, multicomputational approach to fundamental theory, encompassing not only physics but also mathematics in a structure he calls The Ruliad, understood to be the entangled limit of all possible computations. In this framework, physical laws arise from the the sampling of the Ruliad by observers (including us). This naturally leads to several conceptual issues, such as what kind of object is the Ruliad? What is the nature of the observers carrying out the sampling, and how do they relate to the Ruliad itself? What is the precise nature of the sampling? This paper provides a philosophical examination of these questions, and other related foundational issues, including the identification of a limitation that must face any attempt to describe or model reality in such a way that the modeller-observers are included

physics.hist-ph

A Brief Historical Perspective on the Consistent Histories Interpretation of Quantum Mechanics

It will be presented in this chapter a historical account of the consistent histories interpretation of quantum mechanics based on primary and secondary literature. Firstly, the formalism of the consistent histories approach will be outlined. Secondly, the works by Robert Griffiths and Roland Omn\`es will be discussed. Griffiths' seminal 1984 paper, the first physicist to have proposed a consistent-histories interpretation of quantum mechanics, followed by Omn\`es' 1990 paper, were instrumental to the consistent-histories model based on Boolean logic. Thirdly, Murray Gell-Mann and James Hartle's steps to their own version of consistent-histories approach, motivated by a cosmological perspective, will then be described and evaluated. Gell-Mann and Hartle understood that spontaneous decoherence could path the way to a concrete physical model to Griffiths' consistent histories. Moreover, the collective biography of these figures will be put in the context of the role played by the Santa Fe Institute, co-founded by Gell-Mann in 1984 in Santa Fe, New Mexico, where Hartle is also a member of the external faculty.

physics.hist-ph

Mirror Symmetry and Other Miracles in Superstring Theory

The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly similar to Hilary Putnam's 'no miracles argument' that, I argue, many string theorists in fact espouse. String theory leads to many surprising, useful, and well-confirmed mathematical 'predictions' - here I focus on mirror symmetry. These predictions are made on the basis of general physical principles entering into string theory. The success of the mathematical predictions are then seen as evidence for framework that generated them. I attempt to defend this argument, but there are nonetheless some serious objections to be faced. These objections can only be evaded at a high (philosophical) price.

physics.hist-ph