Homology of groups and third busy beaver function

DOI10.1142/S0218196710005868MaRDI QIDQ3162706zbMATH OpenFDO

Authors Pascal Michel

Publication date 21 October 2010

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

Full work available at URL https://doi.org/10.1142/S0218196710005868

zbMATH Keywords

big numbersbusy beaver functionsfinitely presented groupshomology of groupsnoncomputabilityTuring degrees of unsolvability

Mathematics Subject Classification ID

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

Recommendations

• Betti numbers of finitely presented groups and very rapidly growing functions.
• A note on busy beavers and other creatures
• Isoperimetric and isodiametric functions of groups
• Homological and homotopical higher-order filling functions.
• Improved bounds for functions related to busy beavers

Cites work

• A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
• An introduction to homological algebra
• Busy beaver competition and Collatz-like problems
• Computer Studies of Turing Machine Problems
• HOMOLOGICAL DECISION PROBLEMS FOR FINITELY GENERATED GROUPS WITH SOLVABLE WORD PROBLEM
• scientific article; zbMATH DE number 194089 (Why is no real title available?)
• scientific article; zbMATH DE number 3556332 (Why is no real title available?)
• scientific article; zbMATH DE number 848029 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Knuth's iterated powers
• Mathematics and computer science: coping with finiteness
• On the integral homology of finitely presented groups
• Small Turing machines and generalized busy beaver competition
• Subgroups of finitely presented groups

This page was built for publication: Homology of groups and third busy beaver function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3162706)