Notes and Explainers

Working notes behind the framework. Each stands on its own.

Category theory does not escape Gödel

Lawvere proved in 1969 that Cantor, Gödel and Tarski are one categorical pattern. Ascending to a richer mathematics carries the limitation along. Written for a reader with no category theory.

Gödel’s theorems, symbol by symbol

The two incompleteness theorems, each symbol named and explained, then the plain-English reading. For anyone who wants to check the step rather than take it on trust.

Time dilation and the moving NOW

Relativity says clocks run at different rates. The framework says only NOW exists. This note works through the tension and proposes a resolution.