This article defined an abstract plana state space for easier geometric visualization of angles between planes, extending angles from acute to real number. A simulator explores their possible ranges.

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.