Mathematics > Logic
[Submitted on 2 Sep 2020 (v1), revised 21 Sep 2020 (this version, v3), latest version 19 Nov 2020 (v4)]
Title:Combining Determinism and Indeterminism
View PDFAbstract:Our goal is to construct mathematical operations that combine indeterminism measured from quantum randomness with computational determinism so that non-mechanistic behavior is preserved in the computation. Formally, some results about operations applied to computably enumerable (c.e.) and bi-immune sets are proven here, where the operations preserve bi-immunity. While developing rearrangement operations on the natural numbers, we discovered that the bi-immune rearrangements generate an uncountable subgroup of the infinite symmetric group on the natural numbers. We show that this new subgroup contains the bounded symmetric group on the natural numbers, and consequently is highly transitive. The complete structure of this new subgroup and its subgroups generated by one or more bi-immune rearrangements is unknown.
Submission history
From: Michael S. Fiske [view email][v1] Wed, 2 Sep 2020 01:30:00 UTC (10 KB)
[v2] Thu, 10 Sep 2020 20:49:50 UTC (11 KB)
[v3] Mon, 21 Sep 2020 20:00:10 UTC (13 KB)
[v4] Thu, 19 Nov 2020 18:22:48 UTC (15 KB)
Current browse context:
math.LO
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.