Proof of Collatz Conjecture Using Division Sequence

IF 0.5 Q3 MATHEMATICS

Advances in Pure and Applied Mathematics Pub Date : 2022-01-01 DOI:10.4236/apm.2022.122009

M. Furuta

引用次数: 2

Abstract

This paper is positioned as a sequel edition of [1]. First, as in [1], define "division sequence", "complete division sequence", "star conversion", and "extended star conversion". Next, we use Well-Founded Induction and Peirce's law to prove the Collatz conjecture. This proof uses the theorem proving system Idris.

查看原文本刊更多论文

用除法序列证明Collatz猜想

本文定位为[1]的增刊。首先，如[1]所示，定义“除法序列”、“完全除法序列”和“星型转换”。接下来，我们分别考虑Collatz猜想中的循环和散度。本文不使用定理证明。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Advances in Pure and Applied Mathematics MATHEMATICS-

CiteScore

0.70

自引率

0.00%

发文量