000 03435nam a22005295i 4500
001 978-3-031-08740-0
003 DE-He213
005 20240730174849.0
007 cr nn 008mamaa
008 220625s2022 sz | s |||| 0|eng d
020 _a9783031087400
_9978-3-031-08740-0
024 7 _a10.1007/978-3-031-08740-0
_2doi
050 4 _aQA76.9.A43
072 7 _aUMB
_2bicssc
072 7 _aCOM051300
_2bisacsh
072 7 _aUMB
_2thema
082 0 4 _a518.1
_223
245 1 0 _aRevolutions and Revelations in Computability
_h[electronic resource] :
_b18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings /
_cedited by Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXLVI, 327 p. 14 illus., 1 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13359
505 0 _aBio-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.
520 _aThis 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.
650 0 _aAlgorithms.
_93390
650 1 4 _aAlgorithms.
_93390
700 1 _aBerger, Ulrich.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114439
700 1 _aFranklin, Johanna N. Y.
_eeditor.
_0(orcid)
_10000-0002-7216-1562
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114440
700 1 _aManea, Florin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114441
700 1 _aPauly, Arno.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114442
710 2 _aSpringerLink (Online service)
_9114443
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031087394
776 0 8 _iPrinted edition:
_z9783031087417
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13359
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-08740-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89663
_d89663