Murialdo, Maxwell and Céspedes, Esteban and Cifuentes, Arturo (2025) A Deductive Argument for Strong Emergence Based on The Halting Problem. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
Murialdo, Cespedes, Cifuentes A deductive argument for strong emergence based on the Halting Problem_v7325.pdf Download (937kB) |
Abstract
A recent result from theoretical computer science provides for the verification of answers to the Halting Problem, even when there is no plausible means by which to derive those answers using a bottom-up approach. We argue that this result has profound implications for the existence of strongly emergent phenomena. In this work we develop a computer science-based framework for thinking about strong emergence and in doing so demonstrate the plausibility of strongly emergent phenomena existing in our universe. We identify six sufficient criteria for strong emergence and detail the actuality of five of the six criteria. Finally, we argue for the plausibility of the sixth criterion by analogy and a case study of Boltzmann brains (with additional case studies provided in the appendices.)
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}