Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / Ulrich Berger, Johanna N.Y. Franklin, Florin Manea, Arno Pauly (eds.).
2022
QA9.59
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / Ulrich Berger, Johanna N.Y. Franklin, Florin Manea, Arno Pauly (eds.).
ISBN
9783031087400 (electronic bk.)
3031087402 (electronic bk.)
9783031087394
3031087399
3031087402 (electronic bk.)
9783031087394
3031087399
Published
Cham : Springer, [2022]
Copyright
©2022
Language
English
Description
1 online resource : illustrations (some color).
Item Number
10.1007/978-3-031-08740-0 doi
Call Number
QA9.59
Dewey Decimal Classification
511.3/52
Summary
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 Godel'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.
Note
Conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Berger, Ulrich, 1956- editor.
Franklin, Johanna N.Y., 1979- editor.
Manea, Florin, editor.
Pauly, Arno, editor.
Franklin, Johanna N.Y., 1979- editor.
Manea, Florin, editor.
Pauly, Arno, editor.
Series
Lecture notes in computer science ; 13359.
Available in Other Form
Revolutions and revelations in computability.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Bio-computing
Blockchain
Combinatory Logic
Computable Analysis
Computational Complexity
Computability in Mathematics
Computability in Set Theory
Computability Theory
Constructive Mathematics
Cryptography
Foundations of Mathematics
Game Theory
Graph Algorithms
History and Philosophy of Computing
Infinite Time Computation
Learning Theory
Natural Language Processing
Reachability
Reverse Mathematics
Type Theory.
Blockchain
Combinatory Logic
Computable Analysis
Computational Complexity
Computability in Mathematics
Computability in Set Theory
Computability Theory
Constructive Mathematics
Cryptography
Foundations of Mathematics
Game Theory
Graph Algorithms
History and Philosophy of Computing
Infinite Time Computation
Learning Theory
Natural Language Processing
Reachability
Reverse Mathematics
Type Theory.