The computability problem in algebraic topology (Q1328492): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020401767 / rank | |||
Normal rank |
Latest revision as of 19:06, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The computability problem in algebraic topology |
scientific article |
Statements
The computability problem in algebraic topology (English)
0 references
30 October 1995
0 references
It is proved that almost every reasonable computability problem in homological algebra and algebraic topology has a positive solution. Though lots of computations carried out in algebraic topology can be reduced to successive applications of cone exact sequences and Serre and Eilenberg-Moore spectral sequences, however, with the techniques explained in this paper, these computation methods become actual algorithms open to theoretical (computability) and concrete applications (finding on machines homology or homotopy groups unknown until now).
0 references
free groups
0 references
\(K\)-theory
0 references
Serre spectral sequence
0 references
computability problem in homological algebra
0 references
cone exact sequences
0 references
Eilenberg-Moore spectral sequences
0 references