Revolutions and Revelations in Computability Revolutions and Revelations in Computability

Revolutions and Revelations in Computability

18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings

Ulrich Berger والمزيد
    • ‏54٫99 US$
    • ‏54٫99 US$

وصف الناشر

This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.

The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٢٥ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٧٧
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٥٧٫٩
‫م.ب.‬
Computation and Logic in the Real World Computation and Logic in the Real World
٢٠٠٧
Models of Computation in Context Models of Computation in Context
٢٠١١
Algebraic Informatics Algebraic Informatics
٢٠٢٢
Developments in Language Theory Developments in Language Theory
٢٠٢٢
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
٢٠٠٧
Logical Foundations of Computer Science Logical Foundations of Computer Science
٢٠٠٩
The Future of Smart Production for SMEs The Future of Smart Production for SMEs
٢٠٢٢
Kartenzahlungen im Euro-Zahlungsraum Kartenzahlungen im Euro-Zahlungsraum
٢٠٠٧