HOMOLOGY OF GROUPS AND THIRD BUSY BEAVER FUNCTION

DOI10.1142/S0218196710005868zbMath1214.20035MaRDI QIDQ3162706

Pascal Michel

Publication date: 21 October 2010

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

finitely presented groupsTuring degrees of unsolvabilityhomology of groupsbusy beaver functionsbig numbersnoncomputability

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Turing machines and related notions (03D10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Busy beaver competition and Collatz-like problems
• Small Turing machines and generalized busy beaver competition
• An introduction to homological algebra
• Knuth's iterated powers
• On the integral homology of finitely presented groups
• Mathematics and Computer Science: Coping with Finiteness
• Subgroups of finitely presented groups
• HOMOLOGICAL DECISION PROBLEMS FOR FINITELY GENERATED GROUPS WITH SOLVABLE WORD PROBLEM
• Computer Studies of Turing Machine Problems
• A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated

This page was built for publication: HOMOLOGY OF GROUPS AND THIRD BUSY BEAVER FUNCTION