The em-convex rewrite system
Logic in Computer Science
2018-07-06 v1 Logic
Metric Geometry
Abstract
We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity of the infinitesimal operations, Theorems 6.2, 8.9 and Proposition 8.7 appear as a lambda calculus style version of Gleason and Montgomery-Zippin solution to the Hilbert 5th problem.
Keywords
Cite
@article{arxiv.1807.02058,
title = {The em-convex rewrite system},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:1807.02058},
year = {2018}
}