论文标题
从Collatz的猜想到Thompson的F，通过Girard的结合
From a conjecture of Collatz to Thompson's group F, via a conjunction of Girard
论文作者
论文摘要
著名的3x + 1 L. Collatz问题无需介绍。但是，本文涉及鲜为人知但尚未解决的前体问题：原始的Collatz猜想或OCC。我们证明，当与J.-Y.结合使用时，来自OCC的核心算术运算符。吉拉德（Girard）从他的相互作用系统的几何形状中，从J. Conway的意义上讲，R。Thompson的F群成为一致的功能。我们还提供了解决此问题的基本类别理论，并将OCC的核心操作员描述为规范的一致性同构。
The famous 3x + 1 problem of L. Collatz needs no introduction; however, this paper concerns a lesser-known, but similarly unresolved, precursor problem : the Original Collatz Conjecture, or OCC. We demonstrate that the core arithmetic operator from the OCC, when combined with a conjunction of J.-Y. Girard from his Geometry of Interaction system, leads to a realisation of R. Thompson's group F as congruential functions, in the sense of J. Conway. We also give the underlying category theory that accounts for this, and describe the core operator from the OCC as a canonical coherence isomorphism.
