No Cover Image

Book chapter 1222 views 181 downloads

Generalizing Computability Theory to Abstract Algebras

J. V. Tucker, J. I. Zucker, John Tucker Orcid Logo

Turing’s Revolution, Pages: 127 - 160

Swansea University Author: John Tucker Orcid Logo

DOI (Published version): 10.1007/978-3-319-22156-4_5

Abstract

We present a survey of our work over the last four decades on generalizations of computability theory to many-sorted algebras. The following topics are discussed, among others: (1) abstract v concrete models of computation for such algebras; (2) computability and continuity, and the use of many-sort...

Full description

Published in: Turing’s Revolution
ISBN: 978-3-319-22156-4
Published: Basel Bikhauser/Springer 2016
Online Access: http://link.springer.com/chapter/10.1007/978-3-319-22156-4_5
URI: https://cronfa.swan.ac.uk/Record/cronfa30876
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2016-10-31T14:14:20Z
last_indexed 2018-09-06T18:33:22Z
id cronfa30876
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-09-06T12:53:21.5866546</datestamp><bib-version>v2</bib-version><id>30876</id><entry>2016-10-31</entry><title>Generalizing Computability Theory to Abstract Algebras</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-10-31</date><deptcode>SCS</deptcode><abstract>We present a survey of our work over the last four decades on generalizations of computability theory to many-sorted algebras. The following topics are discussed, among others: (1) abstract v concrete models of computation for such algebras; (2) computability and continuity, and the use of many-sorted topological partial algebras, containing the reals; (3) comparisons between various equivalent and distinct models of computability; and(4) generalized Church-Turing theses.</abstract><type>Book chapter</type><journal>Turing&#x2019;s Revolution</journal><paginationStart>127</paginationStart><paginationEnd>160</paginationEnd><publisher>Bikhauser/Springer</publisher><placeOfPublication>Basel</placeOfPublication><isbnPrint>978-3-319-22156-4</isbnPrint><keywords>Computability and continuity, Computability on abstract structures, Computability on the reals, Generalized church-turing thesis, Generalized computability</keywords><publishedDay>21</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-01-21</publishedDate><doi>10.1007/978-3-319-22156-4_5</doi><url>http://link.springer.com/chapter/10.1007/978-3-319-22156-4_5</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2018-09-06T12:53:21.5866546</lastEdited><Created>2016-10-31T10:06:53.1882903</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>J. V.</firstname><surname>Tucker</surname><order>1</order></author><author><firstname>J. I.</firstname><surname>Zucker</surname><order>2</order></author><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>3</order></author></authors><documents><document><filename>0030876-31102016101607.pdf</filename><originalFilename>GeneralizingComputabilityTheoryToAbstractAlgebras.pdf</originalFilename><uploaded>2016-10-31T10:16:07.7600000</uploaded><type>Output</type><contentLength>313850</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2016-10-31T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-09-06T12:53:21.5866546 v2 30876 2016-10-31 Generalizing Computability Theory to Abstract Algebras 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2016-10-31 SCS We present a survey of our work over the last four decades on generalizations of computability theory to many-sorted algebras. The following topics are discussed, among others: (1) abstract v concrete models of computation for such algebras; (2) computability and continuity, and the use of many-sorted topological partial algebras, containing the reals; (3) comparisons between various equivalent and distinct models of computability; and(4) generalized Church-Turing theses. Book chapter Turing’s Revolution 127 160 Bikhauser/Springer Basel 978-3-319-22156-4 Computability and continuity, Computability on abstract structures, Computability on the reals, Generalized church-turing thesis, Generalized computability 21 1 2016 2016-01-21 10.1007/978-3-319-22156-4_5 http://link.springer.com/chapter/10.1007/978-3-319-22156-4_5 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2018-09-06T12:53:21.5866546 2016-10-31T10:06:53.1882903 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science J. V. Tucker 1 J. I. Zucker 2 John Tucker 0000-0003-4689-8760 3 0030876-31102016101607.pdf GeneralizingComputabilityTheoryToAbstractAlgebras.pdf 2016-10-31T10:16:07.7600000 Output 313850 application/pdf Accepted Manuscript true 2016-10-31T00:00:00.0000000 true
title Generalizing Computability Theory to Abstract Algebras
spellingShingle Generalizing Computability Theory to Abstract Algebras
John Tucker
title_short Generalizing Computability Theory to Abstract Algebras
title_full Generalizing Computability Theory to Abstract Algebras
title_fullStr Generalizing Computability Theory to Abstract Algebras
title_full_unstemmed Generalizing Computability Theory to Abstract Algebras
title_sort Generalizing Computability Theory to Abstract Algebras
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John Tucker
author John Tucker
author2 J. V. Tucker
J. I. Zucker
John Tucker
format Book chapter
container_title Turing’s Revolution
container_start_page 127
publishDate 2016
institution Swansea University
isbn 978-3-319-22156-4
doi_str_mv 10.1007/978-3-319-22156-4_5
publisher Bikhauser/Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://link.springer.com/chapter/10.1007/978-3-319-22156-4_5
document_store_str 1
active_str 0
description We present a survey of our work over the last four decades on generalizations of computability theory to many-sorted algebras. The following topics are discussed, among others: (1) abstract v concrete models of computation for such algebras; (2) computability and continuity, and the use of many-sorted topological partial algebras, containing the reals; (3) comparisons between various equivalent and distinct models of computability; and(4) generalized Church-Turing theses.
published_date 2016-01-21T03:37:38Z
_version_ 1763751660344049664
score 11.0299