Copyright © James R Meyer 2012 - 2018 https://www.jamesrmeyer.com
The Alexander Horned Sphere isn’t really a sphere at all - in fact, there isn’t any physical thing that is an Alexander Horned Sphere. It’s just a hypothetical notion. The notion revolves around the idea that you start off with a stretchy rubber-like sphere that you can stretch and bend and squeeze any way you like. You then shape it so that it is like a torus (the shape of a standard finger ring) but with a bit cut out if it, like in this picture:
Now, you add to each cut end, two arms that almost but don’t quite touch together. And there’s an important bit here. The arms from either end of the cut go around each other, but since the arms don’t touch together, and since the whole thing is completely elastic, you can still separate the arms, and so by a bit a judicious squeezing and stretching, you can still return it to it’s original shape (as in the above picture).
The Horned Sphere notion is “defined” as the result of doing this adding of quasi-interlinked arms to each existing arm end infinitely many times. And this is where the problems arise. By vaguely stating that the process is continued infinitely many times, you aren’t making a clear definition at all. This is because, for this process, the continuation of the process never finishes, regardless of how many times it is repeated. And if all you have is a vague definition that talks about repeating the process infinitely many times, then you don’t have a clear definition of anything at all. Since the repetition never completes, then since the object is perfectly squeezable, then it must always be possible to separate the quasi-interlinked arms and return to the original shape. The picture below gives an idea of what is happening.
Given the “definition” of the horned sphere, analyzing what is actually happening is complicated by the fact that at each repetition, more arms appear, and the object becomes increasingly hard to visualize. But we can concentrate on what is happening by ensuring that the number of arms does not increase at each repetition. This gives us a situation somewhat like the picture below:
Now it is easy to see that as the added arms get smaller and smaller, it might be possible to define a limiting case where the arms converge to a single point. Now, if the definition is such that this single point is the same for both ends of the left arms, and similarly for both ends of the right arms, and if the definition is that there is no break between these single points and the defined arms, then, clearly, the arms are properly interlinked, and cannot be separated by any amount of squeezing or reshaping.
And if the limiting case for the infinite repetition is that the limit points for the left arms and the right arms are separated, then the arms are not fully interlinked, and can be separated by a bit of squeezing and reshaping.
The only difference for the case where the number of arms increases at each repetition is that there is then infinitely many limiting points. But the question of whether the arms are inseparably linked or not is only dependent on whether each limit point of the left arms coincides with the corresponding limit point of the right arms.
And that’s all there is to the Alexander horned sphere. There’s nothing difficult or strange about it at all if you analyze it logically.
Diverse opinions and criticisms are welcome, but messages that are frivolous, irrelevant or devoid of logical basis will be blocked. Difficulties in understanding the site content are usually best addressed by contacting me by e-mail. Note: you will be asked to provide an e-mail address - any address will do, it does not require verification. Your e-mail will only be used to notify you of replies to your comments - it will never be used for any other purpose and will not be displayed. If you cannot see any comments below, see Why isn’t the comment box loading?.
There is now a new page on a contradiction in Lebesgue measure theory.
There is now a new page Halbach and Zhang’s Yablo without Gödel which analyzes the illogical assumptions used by Halbach and Zhang.
I found that making, adding or deleting footnotes in the traditional manner proved to be a major pain. So I developed a different system for footnotes which makes inserting or changing footnotes a doddle. You can check it out at Easy Footnotes for Web Pages (Accessibility friendly).
I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.
For convenience, there are now two pages on this site with links to various material relating to Gödel and the Incompleteness Theorem
– a page with general links:
– and a page relating specifically to the Gödel mind-machine debate:
All pages on this website are printer friendly, and will print the main content in a convenient format. Note that the margins are set by your browser print settings.
Comments on this site are welcome, please see the comment section.
Please note that this web site, like any other is a collection of various statements. Not all of this web site is intended to be factual. Some of it is personal opinion or interpretation.
If you prefer to ask me directly about the material on this site, please send me an e-mail with your query, and I will attempt to reply promptly.
Feedback about site design would also be appreciated so that I can improve the site.
Copyright © James R Meyer 2012 - 2018