| Authors |
|
| Abstract |
Guessing the outcome of iterations of even most simple arithmetical functions could be an extremely hazardous experience. Not less harder, if at all possible, might be to prove the veracity of even a "sure" guess concerning iterations : this is the case of the famous 3x+1 conjecture. Our purpose here is to study and conceptualize some intuitive insights related to the ultimate (un)solvability of this conjecture.
|
| Keywords | Collatz or 3n+1 conjecture solvability diophantine equations |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
What's so Special About Kruskal's Theorem and the Ordinal Γo? A Survey of Some Results in Proof Theory.Jean H. Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
What's so Special About Kruskal's Theorem and the Ordinal Γo? A Survey of Some Results in Proof Theory.Jean Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.
Citations of this work BETA
No citations found.
Similar books and articles
Some Strongly Undecidable Natural Arithmetical Problems, with an Application to Intuitionistic Theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Walking Cautiously Into the Collatz Wilderness: Algorithmically, Number Theoretically, Randomly.Edward G. Belaga & Maurice Mignotte - 2006 - Discrete Mathematics and Theoretical Computer Science.
A Refutation of Pure Conjecture.Timothy Cleveland - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):55-81.
A Conjecture on Einstein, the Independent Reality of Spacetime Coordinate Systems and the Disaster of 1913.John D. Norton - 2005 - In .
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
Rado's Theorem and Solvability of Systems of Equations.Alexander Abian - 1973 - Notre Dame Journal of Formal Logic 14 (2):145-150.
Truth and Meaning.Robert C. Cummins - 2002 - In Joseph Keim-Campbell, Michael O'Rourke & David Shier (eds.), Meaning and Truth: Investigations in Philosophical Semantics. Seven Bridges Press. pp. 175-197.
The Ethics of Reasoning From Conjecture.Micah Schwartzman - 2012 - Journal of Moral Philosophy 9 (4):521-544.
Ω in Number Theory.Toby Ord - 2007 - In C. S. Calude (ed.), Randomness and Complexity, from Leibniz to Chaitin. World Scientific. pp. 161-173.
Kueker's Conjecture for Stable Theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
Analytics
Added to PP index
2011-01-25
Total views
372 ( #20,435 of 2,410,719 )
Recent downloads (6 months)
17 ( #42,869 of 2,410,719 )
2011-01-25
Total views
372 ( #20,435 of 2,410,719 )
Recent downloads (6 months)
17 ( #42,869 of 2,410,719 )
How can I increase my downloads?
Downloads
