Let's look at possible fictional 4D molecules. KWOK Chun shared a similar 4D periodic table with me. 4denthusiast built a framework of particle physics and pioneered 4D computational chemistry.

The inverse-cube law of 4D force makes atomic theory seemingly untenable. However, if we temporarily set aside this physical obstacle, it is still possible to construct a 4D periodic table analogous t

This time we'll look at standing wave patterns on hyperspheres — what Hyperspherical Harmonics look like. They are related to possible wave function shapes of 4D atoms (which I plan to explore in deta

This article introduced type theory, which claims to replace set theory's position in mathematics. It has been widely used in machine proofs, most famously in the proof of the Four Color Theorem.

This article summarizes 4D mesh generation algorithms, including pyramid/extrusion/direct product, regular polytopes, orientation processing, and tetrahedral decomposition problems.

Formal systems were proposed to check proofs. I’ll start with simple formal systems then to propositional logic and ZFC set theory. I also built a web-based simulator, which later evolved into a game

Last year CFY suddenly became interested in “googology” and “ordinals”, and even recommended an “ordinal incremental” game Ordinal Markup to me, and then I unfortunately fell into the rabbit hole.

A Soviet cosmonaut was fiddling with a T-shaped object in space when he accidentally discovered that if it was set to float and spin rapidly, its rotation axis would suddenly flip midair. This phenome