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

This article is a overview of various algorithms for 4D rotation. It covers computational methods for 3D quaternions and 4D rotors, a comparison with Geometric Algebra, as well as various lookAt algor

Previous articles have covered almost all common methods for visualizing 4D: cross-section method, stereographic projection, contour surfaces or color-coding the fourth dimension, 3D photos, etc. Amon

This article will introduce four example scenes in Tesserxel：the 4D linear track train, planar track train, the drone, and the 4D aircraft. This article focuses on how to drive and operate these 4D ve

What would aircraft structures look like in 4D? We'll explore some possible design approaches from 4D fans to drones to large Airliners.

In this article, we will explore the geometric properties of hyperbolic space and attempt to construct an imaginary hyperbolic universe. We will discuss basic concepts such as lines, circles, and horo