The em-convex rewrite system

arXiv1807.02058MaRDI QIDQ6303888

Publication date: 5 July 2018

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.

Has companion code repository: https://github.com/mbuliga/em

This page was built for publication: The em-convex rewrite system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6303888)