2018/04/15 by André Nies, Nies, Andre
Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.1804.05331
openalex publication_date 2018/04/15 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28
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.