Galois Theory of Algorithms
Abstract
Many different programs are the implementation of the same algorithm. The collection of programs can be partitioned into different classes corresponding to the algorithms they implement. This makes the collection of algorithms a quotient of the collection of programs. Similarly, there are many different algorithms that implement the same computable function. The collection of algorithms can be partitioned into different classes corresponding to what computable function they implement. This makes the collection of computable functions into a quotient of the collection of algorithms. Algorithms are intermediate between programs and functions: Programs $\twoheadrightarrow$ Algorithms $\twoheadrightarrow$ Functions. \noindent Galois theory investigates the way that a subobject sits inside an object. We investigate how a quotient object sits inside an object. By looking at the Galois group of programs, we study the intermediate types of algorithms possible and the types of structures these algorithms can have.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2010
- DOI:
- 10.48550/arXiv.1011.0014
- arXiv:
- arXiv:1011.0014
- Bibcode:
- 2010arXiv1011.0014Y
- Keywords:
-
- Mathematics - Rings and Algebras;
- Computer Science - Discrete Mathematics;
- Computer Science - Logic in Computer Science;
- Mathematics - Category Theory;
- Mathematics - Group Theory;
- 06A15;
- 11R32;
- 03C05;
- 08A70;
- 03D20;
- F.4.1;
- F.1.1;
- D.2.11
- E-Print:
- 25 pages, 1 figure. Fixed an error, corrected typos, and added a section on homotopy theory