Research notes

Physics, derived in the open.

Selected subprojects of an ongoing research project. Each package is shown with its full history: the question, every version of the derivation, the external reviews and the code. Errors stay visible.

03-ilang-space · 23 packages

Space from a description language

Can a space-like structure (distance, dimension, locality, bodies, motion) be derived inside the description language Ilanguage 1.b from its own elements alone, without importing any spatial notion? The first stage of a research programme on gravity.

23 verified