- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Reflecting on the 3x+1 Mystery. Outline of a Scenario - Improbable or Realistic ?
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.Author's Profile
My notes
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 - 1982 - In John Norton (ed.).
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.
The art of conjecture.Bertrand de Jouvenel - 1967 - New York,: Basic Books. Edited by N. M. Lary & Daniel J. Mahoney.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
Analytics
Added to PP
2011-01-25
Downloads
665 (#25,756)
6 months
65 (#74,646)
2011-01-25
Downloads
665 (#25,756)
6 months
65 (#74,646)
Historical graph of downloads
Author's Profile
References found in this work
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.
On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rv6xt uwo