تقرير
Combining Determinism and Indeterminism
| العنوان: | Combining Determinism and Indeterminism |
|---|---|
| المؤلفون: | Fiske, Michael Stephen |
| سنة النشر: | 2020 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, Computer Science - Computational Complexity, Computer Science - Computation and Language, Mathematics - Group Theory, 20B07, F.1.1 |
| الوصف: | 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 objective is for the operations to 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 (Sym$(\mathbb{N})$) on the natural numbers $\mathbb{N}$. This new uncountable subgroup is called the bi-immune symmetric group. We show that the bi-immune symmetric group contains the finitary symmetric group on the natural numbers, and consequently is highly transitive. Furthermore, the bi-immune symmetric group is dense in Sym$(\mathbb{N})$ with respect to the pointwise convergence topology. The complete structure of the bi-immune symmetric group and its subgroups generated by one or more bi-immune rearrangements is unknown. Comment: 12 pages |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2009.03996 |
| رقم الأكسشن: | edsarx.2009.03996 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |