Next Article in Journal
The Philosophy of Ecology and Sustainability: New Logical and Informational Dimensions
Previous Article in Journal
Undetachable Concepts in Non-Human Animals
Previous Article in Special Issue
Computational Dynamics of Natural Information Morphology, Discretely Continuous
Article Menu

Export Article

Open AccessArticle
Philosophies 2018, 3(2), 15; https://doi.org/10.3390/philosophies3020015

The Algebraic View of Computation: Implementation, Interpretation and Time

Department of Mathematics and Natural Sciences, Akita International University, Yuwa, Akita-City 010-1292, Japan
Received: 2 February 2018 / Revised: 21 April 2018 / Accepted: 7 May 2018 / Published: 11 May 2018
Full-Text   |   PDF [273 KB, uploaded 11 May 2018]   |  

Abstract

Computational implementations are special relations between what is computed and what computes it. Though the word “isomorphism” appears in philosophical discussions about the nature of implementations, it is used only metaphorically. Here we discuss computation in the precise language of abstract algebra. The capability of emulating computers is the defining property of computers. Such a chain of emulation is ultimately grounded in an algebraic object, a full transformation semigroup. Mathematically, emulation is defined by structure preserving maps (morphisms) between semigroups. These are systematic, very special relationships, crucial for defining implementation. In contrast, interpretations are general functions with no morphic properties. They can be used to derive semantic content from computations. Hierarchical structure imposed on a computational structure plays a similar semantic role. Beyond bringing precision into the investigation, the algebraic approach also sheds light on the interplay between time and computation. View Full-Text
Keywords: computation; abstract algebra; semigroup theory; finite automata; homomorphism; hierarchical structure; finiteness and universality computation; abstract algebra; semigroup theory; finite automata; homomorphism; hierarchical structure; finiteness and universality
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

MDPI and ACS Style

Egri-Nagy, A. The Algebraic View of Computation: Implementation, Interpretation and Time. Philosophies 2018, 3, 15.

Show more citation formats Show less citations formats

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Philosophies EISSN 2409-9287 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top