A binomial representation of the 3x + 1 problem

Acta Arithmetica

Volumn 91, Issue 4, 1999, Pages 367-378

  Margenstern, Maurice ^a   Matiyasevich, Yuri ^b  

^a UNIVERSITÉ DE LORRAINE   (France)

^b STEKLOV MATHEMATICAL INSTITUTE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033475423     PISSN: 00651036     EISSN: None     Source Type: Journal    
DOI: 10.4064/aa-91-4-367-378     Document Type: Article

References (20)

1. M. Davis, Yu. Matijasevich and J. Robinson, Hubert's tenth problem. Diophantine equations: positive aspects of a negative solution, in: Proc. Sympos. Pure Math. 28, Amer. Math. Soc., 1976, 323-378.
2. M. Davis, H. Putnam and J. Robinson, The decision problem for exponential Diophantine equations, Ann. of Math. 74 (1961), 425-436.
3. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I, Monatsh. Math. Phys. 38 (1931), 173-198.
4. L. C. Hsu and P. J.-S. Shiue, On a combinatorial expression concerning Fermat's Last Theorem, Adv. in Appl. Math. 18 (1997), 216-219.
5. E. E. Kummer, Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen, J. Reine Angew. Math. 44 (1852), 93-146.
6. J. C. Lagarias, The 3x + 1 problem and its generalizations, Amer. Math. Monthly 92 (1985), 3-23 (available at: http://www.cecm.sfu.ca/organics/papers/lagarias/ index.html).
7. -, The 3x + 1 problem and its generalizations, in: J. Borwein et al. (eds.), Organic Mathematics (Burnaby, 1995), Amer. Math. Soc., Providence, RI, 1995.
8. -, 3x + 1 Problem Annotated Bibliography, http://www.cecm.sfu.ca/organics/ papers/lagarias/paper/html/local/anno-bib.ps.
9. H. B. Mann and D. Shanks, A necessary and sufficient condition for primality, and its source, J. Combin. Theory Ser. A 13 (1972), 131-134.
10. M. Margenstern, Frontier between decidability and undecidability: a survey, Theoret. Comput. Sci. (1999), to appear.
11. Ju. V. Matijasevič [Yu. V. Matiyasevich], A class of primality criteria formulated in terms of the divisibility of binomial coefficients, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI) 67 (1977), 167-183, 226-227 (in Russian); English transl.: J. Soviet Math. 16 (1981), 874-885.
12. Ju. V. Matijasevič [Yu. V. Matiyasevich], A class of primality criteria formulated in terms of the divisibility of binomial coefficients, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI) 67 (1977), 167-183, 226-227 (in Russian); English transl.: J. Soviet Math. 16 (1981), 874-885.
13. -, Some arithmetical restatements of the Four Color Conjecture, Theoret. Comput. Sci., to appear; a version is available at: http://logic.pdmi.ras.ru/~yumat/ Journal/4cc, mirrored at http://www.informatik.uni-stuttgart.de/ifi/ti/personen/ Matiyasevich/Journal/4cc.
14. -, Hilbert's Tenth Problem, Moscow, Fizmatlit, 1993 (in Russian). English transl.: MIT Press, 1993. French transl.: Masson, 1995. See also at: http://logic.pdmi.ras. ru/~yumat/H10Pbook, mirrored at http://www.informatik.uni-stuttgart.de/ifi/ti/ personen/Matiyasevich/H10Pbook.
15. P. Michel, Busy beaver competition and Collatz-like problems, Arch Math Logic 32 (1993), 351-367.
16. M. Petkovsek, H. S. Wilf and D. Zeilberger, A = B, AK Peters, Wellesley MA, 1996; http://www.cis.upenn.edu/~wilf/AeqB.html.
17. D. Singmaster, Notes on binomial coefficients. I, II, III, J. London Math Soc. (2) 8 (1974), 545-548, 549-554, 555-560.
18. R. Thomas, An update on the Four-Colour Theorem, Notices Amer. Math. Soc. 45 (1998), 848-859 (available at: http://www.ams.org/notices/199807/thomas.ps, http://www.ams.org/notices/199807/thomas.pdf).
19. H. S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities, Invent. Math. 108 (1992), 575-633
20. G. J. Wirsching, The Dynamical System Generated by the 3n+l Function, Lecture Notes in Math. 1681, Springer, Berlin, 1998.