« first day (3101 days earlier)      last day (11 days later) » 

Jade Vanadium
Jade Vanadium
01:31
More geometry stuff, about finding a complete theory for elliptic geometry, and finding a signature which is maximally expressive in the intended semantics.
0
A: Tarski-like axiomatization of spherical or elliptic geometry

Jade VanadiumCongruency works just as well in elliptic and spherical geometries, and it also works just as well in any higher dimensions, $2$ or more. Congruency can be used to define every geometric relation, including various notions of betweenness, separation, colinearity, and the order-type for lengths. T...


« first day (3101 days earlier)      last day (11 days later) »