Two undecidable variants of Collatz's problems

被引：4
|
作者：
Lehtonen, Eero [1 ]
机构：
[1] Univ Turku, Dept Math, FI-20014 Turku, Finland
来源：
THEORETICAL COMPUTER SCIENCE | 2008年 / 407卷 / 1-3期
关键词：
Collatz's conjecture; Collatz's original problem; Undecidability;
D O I：
10.1016/j.tcs.2008.08.029
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The paper introduces a simple way to show that certain iterative, number theoretic problems are undecidable. As applications, variants of the Collatz's conjecture and the so-called Collatz's original problem are shown to be undecidable. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：596 / 600
页数：5
相关论文
共 50 条
  • [1] Two Undecidable Problems of Analysis
    Bruno Scarpellini
    Minds and Machines, 2003, 13 : 49 - 77
  • [2] Comments on 'Two undecidable problems of analysis'
    Scarpellini, B
    MINDS AND MACHINES, 2003, 13 (01) : 79 - 85
  • [3] Comments on `Two Undecidable Problems of Analysis'
    Bruno Scarpellini
    Minds and Machines, 2003, 13 (1) : 79 - 85
  • [4] Witnessability of Undecidable Problems
    Ding, Shuo
    Zhang, Qirun
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 982 - 1002
  • [5] Undecidable event detection problems for ODEs of dimension one and two
    Ruohonen, K
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1997, 31 (01): : 67 - 79
  • [6] Undecidable problems in unreliable computations
    Mayr, R
    LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 377 - 386
  • [7] Generic complexity of undecidable problems
    Myasnikov, Alexei G.
    Rybalov, Alexander N.
    JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (02) : 656 - 673
  • [8] Generic complexity of undecidable problems
    Myasnikov, Alexei
    Computer Science - Theory and Applications, 2007, 4649 : 407 - 417
  • [9] Undecidable problems for modal definability
    Balbiani, Philippe
    Tinchev, Tinko
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (03) : 901 - 920
  • [10] GENERICALLY UNDECIDABLE AND HARD PROBLEMS
    Rybalov, A. N.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2024, (63): : 109 - 116
12345