Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Functionals and hardware
(Submitted on 13 Jan 2015 (v1), last revised 12 Sep 2018 (this version, v7))
Abstract: Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order objects, i.e. functionals are terms, and computation is term rewriting. The idea explored in the paper is that functionals correspond to generic mechanisms for management of connections in arrays consisting of first order functional units. Functionals are higher order abstractions that are useful for the management of such large arrays. Computations on higher order objects comprise dynamic configuration of connections between first order elementary functions in the arrays. Once the functionals are considered as the generic mechanisms, they have a grounding in hardware. A conceptual framework for constructing such mechanisms is presented, and their hardware realization is discussed.
Submission history
From: Stanisław Ambroszkiewicz [view email][v1] Tue, 13 Jan 2015 15:39:06 GMT (1173kb,D)
[v2] Wed, 3 Feb 2016 19:36:32 GMT (715kb,D)
[v3] Mon, 7 Mar 2016 20:43:03 GMT (696kb,D)
[v4] Wed, 8 Feb 2017 15:18:21 GMT (541kb,D)
[v5] Tue, 9 May 2017 11:43:48 GMT (582kb,D)
[v6] Fri, 9 Mar 2018 20:47:35 GMT (584kb,D)
[v7] Wed, 12 Sep 2018 11:45:02 GMT (584kb,D)
Link back to: arXiv, form interface, contact.