Logic Blog 2017

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.