The Resource New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
Resource Information
The item New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 The recent necessity to deal with computability in the real world (computing on continuous data, biological computing, physical computing, etc.) has switched attention to new paradigms of computation, based on biological and physical models. This book looks at new developments in the theory and practice of computation from a mathematical and predominantly logical perspective, with topics ranging from classical computability to complexity, biocomputing and quantum computing. Traditional topics in Computability Theory are also covered as well as relationships between Proof Theory, Computability and Complexity Theory, new paradigms of computation arising from biology and quantum physics and issues related to computability with/on the real numbers. The book is addressed to researchers and graduate students in mathematics, philosophy and computer science with a special interest in logic and foundational issues. Logicians and theoretical physicists will also benefit from this book
 Language
 eng
 Extent
 1 online resource (1 volume)
 Contents

 Preface
 Introduction
 Alan Turing's Legacy, and New Computational Paradigms
 Section I. The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy and Computer Science
 Section II. Logic, Algorithms, and Complexity
 Section III. Models of Computation from Nature
 Section IV. Computable Analysis and Real Computation
 Author Index
 Isbn
 9780387685465
 Label
 New computational paradigms : changing conceptions of what is computable
 Title
 New computational paradigms
 Title remainder
 changing conceptions of what is computable
 Statement of responsibility
 edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
 Language
 eng
 Summary
 The recent necessity to deal with computability in the real world (computing on continuous data, biological computing, physical computing, etc.) has switched attention to new paradigms of computation, based on biological and physical models. This book looks at new developments in the theory and practice of computation from a mathematical and predominantly logical perspective, with topics ranging from classical computability to complexity, biocomputing and quantum computing. Traditional topics in Computability Theory are also covered as well as relationships between Proof Theory, Computability and Complexity Theory, new paradigms of computation arising from biology and quantum physics and issues related to computability with/on the real numbers. The book is addressed to researchers and graduate students in mathematics, philosophy and computer science with a special interest in logic and foundational issues. Logicians and theoretical physicists will also benefit from this book
 Cataloging source
 GW5XE
 Dewey number
 511.3
 Illustrations
 illustrations
 Index
 index present
 Language note
 English
 LC call number
 QA9.59
 LC item number
 .N49 2008eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1956
 http://library.link/vocab/relatedWorkOrContributorName

 Cooper, S. B.
 Löwe, Benedikt
 Sorbi, Andrea
 http://library.link/vocab/subjectName

 Computable functions
 Computable functions
 Informatique
 Computable functions
 Label
 New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Preface  Introduction  Alan Turing's Legacy, and New Computational Paradigms  Section I. The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy and Computer Science  Section II. Logic, Algorithms, and Complexity  Section III. Models of Computation from Nature  Section IV. Computable Analysis and Real Computation  Author Index
 Control code
 209982445
 Dimensions
 unknown
 Extent
 1 online resource (1 volume)
 Form of item
 online
 Isbn
 9780387685465
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9780387685465
 http://library.link/vocab/ext/overdrive/overdriveId
 9780387360331
 Specific material designation
 remote
 System control number
 (OCoLC)209982445
 Label
 New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Preface  Introduction  Alan Turing's Legacy, and New Computational Paradigms  Section I. The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy and Computer Science  Section II. Logic, Algorithms, and Complexity  Section III. Models of Computation from Nature  Section IV. Computable Analysis and Real Computation  Author Index
 Control code
 209982445
 Dimensions
 unknown
 Extent
 1 online resource (1 volume)
 Form of item
 online
 Isbn
 9780387685465
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9780387685465
 http://library.link/vocab/ext/overdrive/overdriveId
 9780387360331
 Specific material designation
 remote
 System control number
 (OCoLC)209982445
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Newcomputationalparadigmschanging/OIkEz1WJK1w/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Newcomputationalparadigmschanging/OIkEz1WJK1w/">New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Newcomputationalparadigmschanging/OIkEz1WJK1w/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Newcomputationalparadigmschanging/OIkEz1WJK1w/">New computational paradigms : changing conceptions of what is computable, edited by S.B. Cooper, Benedikt Löwe and Andrea Sorbi</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>