2022/02/28 by André Nies, Nies, Andre
Computer Science · #Computability, Logic, AI Algorithms #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2202.13643
openalex publication_date 2022/02/28 · openalex created_date 2022/08/20 · openalex updated_date 2026/07/28
The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.