Mathematical Logic, Computability, Complexity, and Randomness

Brendle Joerg

ISBN 10: 9819815932 / ISBN 13: 9789819815937

Published by World Scientific, 2025

About this Item

nach der Bestellung gedruckt Neuware - Printed after ordering - This volume presents the combined proceedings of two major conferences in mathematical logic - the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) - held at Nazarbayev University, Astana, Kazakhstan, from 17-21 June 2019 and 23-25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia-Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics.This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.

Seller Inventory # 9789819815937

Bibliographic Details

• Title: Mathematical Logic, Computability, Complexity, and Randomness
• Publisher: World Scientific
• Publication Date: 2025
• Language: English
• ISBN 10: 9819815932
• ISBN 13: 9789819815937
• Binding: Buch
• Condition: Neu
• Dimensions: 235W x 157H x 14D millimeters 235 millimeters width by 157 millimeters height by 14 millimeters depth
• Weight: 406 grams

About this title

Synopsis

This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia–Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics. This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.