Winston-Salem, NC
Joined July 2023
Replying to @2ndAlphasapien
2
6
619
This is still one of my best and most underappreciated posts.
Replying to @transgendererer
"Is the orientation of ℂ derived or chosen?" This is the foundational question that complex analysis fails to ask in the standard form. The question of the orientation of ℂ might seem already trivially defined. Orthogonal is orthogonal. What else could need specification? But consider ℍ with respect to the real line and identity of ℂ within ℍ with respect to ℝ is ambiguous. AC doesn't fix a reason for a choice, it only makes one. This produces a proliferation of choices to accommodate this ambiguity: Stiefel-Whitney classes manage the ℤ/2 explosion at ℂ. Pontryagin and Chern classes manage the S² explosion at ℍ. Twisted cohomology and local systems manage the path-dependent explosion at 𝕆. Stable homotopy manages the zero-divisor explosion beyond. The Universal Coefficient Theorem sits underneath all of them as the accounting system that tracks how much structure is lost when you project from one level's explosion to another's. Tor tracks distortion relative to ℤ homology. But why ℤ? The free resolutions underlying Tor computations are covering maps of S¹, so the correction terms already implicitly reference connection structure on S¹ , pointing toward a family of connections ω = (1/n)dθ without singling out which is canonical. So then we ask, what is the connection form that establishes orientation canonically before ambiguities proliferate? Orientation is binary, and for canonicity needs to be both discrete and minimal. Thus ω = ½dθ emerges as the canonical connection form that fixes orientation throughout. Tor then naturally emerges with perfect interpretability from knowing the canonical form first, and the distortion that all other coefficient rings induce from it
2
58
Adam Morgan retweeted
Replying to @transgendererer
"Is the orientation of ℂ derived or chosen?" This is the foundational question that complex analysis fails to ask in the standard form. The question of the orientation of ℂ might seem already trivially defined. Orthogonal is orthogonal. What else could need specification? But consider ℍ with respect to the real line and identity of ℂ within ℍ with respect to ℝ is ambiguous. AC doesn't fix a reason for a choice, it only makes one. This produces a proliferation of choices to accommodate this ambiguity: Stiefel-Whitney classes manage the ℤ/2 explosion at ℂ. Pontryagin and Chern classes manage the S² explosion at ℍ. Twisted cohomology and local systems manage the path-dependent explosion at 𝕆. Stable homotopy manages the zero-divisor explosion beyond. The Universal Coefficient Theorem sits underneath all of them as the accounting system that tracks how much structure is lost when you project from one level's explosion to another's. Tor tracks distortion relative to ℤ homology. But why ℤ? The free resolutions underlying Tor computations are covering maps of S¹, so the correction terms already implicitly reference connection structure on S¹ , pointing toward a family of connections ω = (1/n)dθ without singling out which is canonical. So then we ask, what is the connection form that establishes orientation canonically before ambiguities proliferate? Orientation is binary, and for canonicity needs to be both discrete and minimal. Thus ω = ½dθ emerges as the canonical connection form that fixes orientation throughout. Tor then naturally emerges with perfect interpretability from knowing the canonical form first, and the distortion that all other coefficient rings induce from it
4
2
1
8
686
It sounds pretentious to say, but yes. When developing original patterns, quenching the process with unmetabolized “standard stuff” too early kills it. I’ve found this to be very true. Original ideas are seed crystals that need to grow carefully according to their own intrinsic properties. Collision with an established system, the more developed can dominate, even if the axiomatic foundation of the less developed isn’t a priori inferior.
Replying to @WKCosmo
One problem I have while doing something similar is that ChatGPT inserts standard stuff too early, without caring that learning needs steps along a path
2
108
Adam Morgan retweeted
“As an Academic, I can pretend not to understand things at a level you cannot even imagine…”
Replying to @meilaoban
You’d first have to convince me that there is actually such a thing as “woke” and that it somehow “failed”
74
881
4
12,164
117,701
Air is out here doing the Lord's work.
Replying to @gro_tsen
honestly fuck pythagoras for "solving problems" therefore preventing me from gaining new mathematical knowledge
2
125
Adam Morgan retweeted
Replying to @TOEwithCurt
How do you eff the ineffable? Have you tried setting the mood first? But seriously, I think the majority of this problem is a problem of context, which is to say a dimensional mismatch between the thing and the description of the thing. Preserving as much of the seemingly removable context around the ineffable is how religious traditions preserve the fragile states of awe and reverence. A complex number has non-removable content that it's Real component can't describe. This is Cantor's diagonalization taken generally and abstractly: express a sequence of symbols, and there is an implied permutation space always outside the choice of symbols in every conceivable direction that is never completed. A kind of perpetual orthogonality to approximation that can't be overcome with the same method that creates the approximation in the first place. Your meta-languages example alludes to this kind of dimensional richness, but the discrete/continuous dichotomy implied by the infinite progression of languages is already a mere shadow of this richness. The ineffable is the complement generated by any act of effing.
1
48
Adam Morgan retweeted
Someone should make a fantasy RPG where different mathematical theories are represented by duchies, kingdoms, and empires (depending on each theory’s consistency strength), and you play as a logician in the midst of a foundational crisis. I’d pay anything to play that.
5
7
1
70
3,076
Logic has a low resistence to shear from orthogonal perspectives.
1
101
Them: “You need a background in physics or engineering to figure out how to build an atomic bomb.” Some random truck driver: *writes the most detailed publicly known reconstruction of the Manhattan Project weapons*
55
117
7
1,696
48,198
Succinctly, the dangerous scenario he devises can’t obtain: A. If all the competence comes from the established degrees of freedom of the LLM’s math and physics weights, and the user doesn’t mess it up through incompetence then the output should be unsurprisingly mundane. B. If the user is directing degrees of freedom of the model incompetently, then there should be no issue in distinguishing the output, and no significant findings will be apparent without being coincidental or from being deliberately contrived. This is effectively fraud, or just bad science. The burden of sorting through it is on those who choose to build on it. C. If the user is directing these model degrees of freedom competently, then they can’t be safely ignored, because they are doing real investigative work in the domain. You can say that B and C are indistinguishable or that case C is non-existent, but, if this is taken as the new claim, then neither B or C, or B +C becomes newly dangerous in a way that any other form of science before LLM collaboration wasn’t already dangerous—aside from volume.
For decades, Crackpot Physics has loudly announced itself upon entry, as it parlays a largely invented - or at the very least viciously bastardized - mother tongue of eclectic physics vocabulary: It’s fuckin gobbledygook. But I am increasingly worried about the extremely dangerous new form of scientific crankery in the post AI era: An increasing number of moderately trained people seem to be operating in a dangerous middle zone: not obviously ignorant of technical jargon, but apparently missing the discipline that prevents real concepts from being rearranged into grandiose conclusions. They’re leaning extremely heavily on a “silent coauthor”, spending hours and hours querying it and arranging the ideas (incorrectly) in their own deficient mental model and presenting it, confidently, as if the product of their own insights because they prompted it. That can be FAR more persuasive to lay audiences than outright crankery because the vocabulary is recognizably legitimate. But the mathematical control is not there. What makes these “papers” troubling is that they use real technical nouns from physics but the relations between those nouns are scrambled. That can be more misleading than obvious nonsense because it is recognized as domain language even to educated non-specialists. It’s going to mislead a higher caliber of intellect than old school crackpottery ever did.
148
Adam Morgan retweeted
When you properly track the orientation of the holonomy around S¹, this results in a dimensional doubling process (construed as representation obstruction resolution, detailed in my tower construction paper). Tracking this orientation causes a carryover effect through the algebras at each level. It creates chirality at ℍ, since i is distinguished from j and k by noncommutivity in the transport structure. The distinguished direction through ℍ forces ℤ₃. The doubling to 𝕆 induces non-associativity, but specifically non-associativity that carries the distinguished direction, and ℤ₃ structure from ℍ. This creates the color confinement in the resulting oriented fano plane. ℍ has three embedded copies of ℂ. 𝕆 has seven copies of ℍ. The ℤ₃ pattern in ℍ doesn’t express as a non-boundary group symmetry until it’s within a larger space. The three copies of ℂ within each ℍ form sub-sub-cycles within 𝕆. Leave one ℍ, and you immediately enter another ℍ with its own 3 copies of ℂ (line membership). First visible at 𝕆 level, there is no exterior lacking SU(3) structure, even if you breach the boundaries between copies of ℍ.
1
1
1
408
Paper series summary, findable on GiHub.
Replying to @DoozerDiffuser
The Möbius tower traces directly through the quaternions, but imposes a unique structure on it, with direct relevance for physics. So the Möbius Octonionic sector is slightly different from standard Octonions, since there are distinguished directions. It’s an oriented fano plane, and the symmetries there are literally SU(3) color confinement from first principles. I don’t know much about coquaternions, or other split algebras. The Möbius connection didn’t run through those, so I haven’t explored it. My progression has been a fairly linear exploration of the tower structure, as evidenced by my paper series: 1. Foundational connection form, canonical orientation 2. RH, generation of C and rigidity thesis 3. Set theory, 3 valued logic classifier 4. Tower generation- central mechanism, RCHO progression 5. Physics bridge: Topos structure and continuation into post NDA structure 6. Group symmetry derivation, structural assignments 7. (Still writing) Constraint geometry derivation of nuclear magic numbers, other properties. 1-> 6 are already present on my GitHub.
179
There's an emerging hazard with LLM collaboration, where numerical fitting becomes easier to perform with modest selection, provided the theory makes sufficiently many options available. Quantitative fits become a function of the availability of a plausible enough mechanism to apply to a number line. Where this fails is, it assumes a specific level of conceptual depth to each fundamental number, and puts numerical machinery in place, rather than anything truly structural. What results isn't an explanatory hierarchy, but a relatively flat number fitting machine connected to number generator with sufficient dimensional interpretations to match. In traditional physics, the theory depth ensured by long education periods ensured that this kind of numerical exploration couldn't happen in isolation. In the age of LLMs, the principled explanatory side behind the numerical fits is unprotected, simultaneously exposing the standard scientific models for the same theoretic sins.
2
87
Adam Morgan retweeted
Replying to @skdh
This is solvable. The problem is in assuming the background complex plane. There can be no definitional rigidity based on the current way that C is defined relative to the Reals. "orthogonal" isn't specific enough. The Zeta function doesn't care that C isn't properly defined, and shows the regularity that *should* be there, leading to the restriction of zeros without being able to prove it. Find the proper relationship between R and C, and you have rigidity to establish RH. I've got papers to publish on this, but I'm too far outside academia to make it happen. Would love some help if anyone is curious enough. 🪝🪱
2
7
2,034
Adam Morgan retweeted
in case you missed it: - gödel's incompleteness theorem, - the halting problem, - tarski's undefinability of truth, - cantor's diagonal argument, etc. are all corollaries of lawvere's fixed point theorem:
5
17
9
140
38,251