info:eu-repo/semantics/article

A constructive sequence algebra for the calculus of indications

Fecha
2020-07-15
Registro en:
Gangle, Rocco; Gianluca, Caterina; Tohmé, Fernando Abel; A constructive sequence algebra for the calculus of indications; Springer; Soft Computing; 24; 15-7-2020; 17621-17629
1432-7643
1433-7479
CONICET Digital
CONICET
Autor
Gangle, Rocco
Gianluca, Caterina
Tohmé, Fernando Abel
Institución
Resumen
In this paper, we investigate some aspects of Spencer–Brown’s Calculus of Indications. Drawing from earlier work by Kauffman and Varela, we present a new categorical framework that allows to characterize the construction of infinite arithmetic expressions as sequences taking values in grossone.
Materias

Mostrar el registro completo del ítem