Artículo

A constructive sequence algebra for the calculus of indications

Gangle, Rocco ; Gianluca, Caterina ; Tohmé, Fernando Abel Icon

Otros responsables

Fecha

2020-07-15

Editorial

Springer

Revista

Soft Computing

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

1432-7643

eISSN

1433-7479

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

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.

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa