
TL;DR
The Logic Blog 2017 compiles recent insights and open questions across computability, quantum algorithms, group theory, and metric spaces, serving as a resource for ongoing research in mathematical logic.
Contribution
It provides new insights and open questions in various areas of logic, including computability, quantum algorithms, and group theory, highlighting recent developments and challenges.
Findings
New quantum algorithmic version of the SMB theorem
Descriptions of discrete and profinite groups
Open questions in computability, randomness, and model theory
Abstract
The blog is somewhat shorter than in previous years, It contains new insights in a variety of areas, including computability, quantum algorithmic version of the SMB theorem, descriptions of groups (both discrete and profinite), metric spaces. There are also lots of open questions in computability, randomness, and computable model theory.
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
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies
