TL;DR
The Logic Blog 2021 compiles various discussions on group theory, computability, logic, open questions, and undecidability in physics, highlighting ongoing research and unresolved problems in these interconnected fields.
Contribution
It provides a comprehensive overview of current open problems and recent developments at the intersection of logic, group theory, and computability.
Findings
Multiple open questions in logic and group theory
Insights into undecidability in physics
Recent progress in computability theory
Abstract
The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge