No Cover Image

Book Chapter 390 views 17 downloads

Generalizing Computability Theory to Abstract Algebras / J. V. Tucker; J. I. Zucker

Turing’s Revolution, Pages: 127 - 160

Swansea University Author: Tucker, John

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:21Z</datestamp><bib-version>v2</bib-version><id>30876</id><entry>2016-10-31</entry><title>Generalizing Computability Theory to Abstract Algebras</title><alternativeTitle></alternativeTitle><author>John Tucker</author><firstname>John</firstname><surname>Tucker</surname><active>true</active><ORCID>0000-0003-4689-8760</ORCID><ethesisStudent>false</ethesisStudent><sid>431b3060563ed44cc68c7056ece2f85e</sid><email>776fdf58de4009ae9784e81c432aafba</email><emailaddr>arJ+dbp+iMJOhnJ544whY8jwe531u+mO/3IG3xe5jMg=</emailaddr><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>Chapter in book</type><journal>Turing&#x2019;s Revolution</journal><volume/><journalNumber/><paginationStart>127</paginationStart><paginationEnd>160</paginationEnd><publisher>Bikhauser/Springer</publisher><placeOfPublication>Basel</placeOfPublication><isbnPrint>978-3-319-22156-4</isbnPrint><isbnElectronic/><issnPrint/><issnElectronic/><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></notes><college>College of Science</college><department>Computer Science</department><CollegeCode>CSCI</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2018-09-06T12:53:21Z</lastEdited><Created>2016-10-31T10:06:53Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>J. V.</firstname><surname>Tucker</surname><orcid/><order>1</order></author><author><firstname>J. I.</firstname><surname>Zucker</surname><orcid/><order>2</order></author></authors><documents><document><filename>0030876-31102016101607.pdf</filename><originalFilename>GeneralizingComputabilityTheoryToAbstractAlgebras.pdf</originalFilename><uploaded>2016-10-31T10:16:07Z</uploaded><type>Output</type><contentLength>313850</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Published to Cronfa</action><actionDate>06/09/2018</actionDate><embargoDate>2016-10-31T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language/></document></documents></rfc1807>
spelling 2018-09-06T12:53:21Z v2 30876 2016-10-31 Generalizing Computability Theory to Abstract Algebras John Tucker John Tucker true 0000-0003-4689-8760 false 431b3060563ed44cc68c7056ece2f85e 776fdf58de4009ae9784e81c432aafba arJ+dbp+iMJOhnJ544whY8jwe531u+mO/3IG3xe5jMg= 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. Chapter in book 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 of Science Computer Science CSCI SCS None None 2018-09-06T12:53:21Z 2016-10-31T10:06:53Z College of Science Computer Science J. V. Tucker 1 J. I. Zucker 2 0030876-31102016101607.pdf GeneralizingComputabilityTheoryToAbstractAlgebras.pdf 2016-10-31T10:16:07Z Output 313850 application/pdf AM true Published to Cronfa 06/09/2018 2016-10-31T00:00:00 true
title Generalizing Computability Theory to Abstract Algebras
spellingShingle Generalizing Computability Theory to Abstract Algebras
Tucker, John
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_***_Tucker, John
author Tucker, John
author2 J. V. Tucker
J. I. Zucker
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 College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
url http://link.springer.com/chapter/10.1007/978-3-319-22156-4_5
document_store_str 1
active_str 1
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-21T04:43:12Z
_version_ 1645254953335259136
score 10.847605