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 및 다른 저자
    • US$54.99
    • US$54.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2022년
6월 25일
언어
EN
영어
길이
377
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
57.9
MB
Computation and Logic in the Real World Computation and Logic in the Real World
2007년
Models of Computation in Context Models of Computation in Context
2011년
Algebraic Informatics Algebraic Informatics
2022년
Developments in Language Theory Developments in Language Theory
2022년
Algebraic and Proof-theoretic Aspects of Non-classical Logics Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007년
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009년
The Future of Smart Production for SMEs The Future of Smart Production for SMEs
2022년
Kartenzahlungen im Euro-Zahlungsraum Kartenzahlungen im Euro-Zahlungsraum
2007년