Ordinal Computability : : An Introduction to Infinitary Machines /

Ordinal Computability : : An Introduction to Infinitary Machines / / Merlin Carl.

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1
VerfasserIn:
Carl, Merlin,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2019]
©2019
Year of Publication:2019
Language:English
Series:De Gruyter Series in Logic and Its Applications , 9
Online Access:
Physical Description:1 online resource (VIII, 335 p.) :; Gleichungen: ca. 500
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9783110496154
ctrlnum (DE-B1597)469834
(OCoLC)1125186938
collection bib_alma
record_format marc
spelling Carl, Merlin, author. aut http://id.loc.gov/vocabulary/relators/aut
Ordinal Computability : An Introduction to Infinitary Machines / Merlin Carl.
Berlin ; Boston : De Gruyter, [2019]
©2019
1 online resource (VIII, 335 p.) : Gleichungen: ca. 500
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
De Gruyter Series in Logic and Its Applications , 1438-1893 ; 9
Frontmatter -- Contents -- 1. Introduction -- 2. Machine models of transfinite computability -- 3. Computability strength -- 4. Recognizability -- 5. Randomness -- 6. Degree theory -- 7. Complexity -- 8. Applications and interactions -- 9. Philosophical aspects -- Bibliography -- Index -- De Gruyter Series in Logic and Its Applications
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.
Issued also in print.
Mode of access: Internet via World Wide Web.
In English.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)
Berechenbarkeit.
Registermaschine.
Turing-Maschine.
MATHEMATICS / Logic. bisacsh
Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1 9783110762464
Title is part of eBook package: De Gruyter DG Plus eBook-Package 2019 9783110719567
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE DG 2019 English 9783110616859
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019 English 9783110610765
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019 9783110664232 ZDB-23-DGG
Title is part of eBook package: De Gruyter EBOOK PACKAGE Mathematics 2019 English 9783110610406
Title is part of eBook package: De Gruyter EBOOK PACKAGE Mathematics 2019 9783110606362 ZDB-23-DMA
EPUB 9783110492910
print 9783110495621
https://doi.org/10.1515/9783110496154
https://www.degruyter.com/isbn/9783110496154
Cover https://www.degruyter.com/document/cover/isbn/9783110496154/original
language English
format eBook
author Carl, Merlin,
Carl, Merlin,
spellingShingle Carl, Merlin,
Carl, Merlin,
Ordinal Computability : An Introduction to Infinitary Machines /
De Gruyter Series in Logic and Its Applications ,
Frontmatter --
Contents --
1. Introduction --
2. Machine models of transfinite computability --
3. Computability strength --
4. Recognizability --
5. Randomness --
6. Degree theory --
7. Complexity --
8. Applications and interactions --
9. Philosophical aspects --
Bibliography --
Index --
De Gruyter Series in Logic and Its Applications
author_facet Carl, Merlin,
Carl, Merlin,
author_variant m c mc
m c mc
author_role VerfasserIn
VerfasserIn
author_sort Carl, Merlin,
title Ordinal Computability : An Introduction to Infinitary Machines /
title_sub An Introduction to Infinitary Machines /
title_full Ordinal Computability : An Introduction to Infinitary Machines / Merlin Carl.
title_fullStr Ordinal Computability : An Introduction to Infinitary Machines / Merlin Carl.
title_full_unstemmed Ordinal Computability : An Introduction to Infinitary Machines / Merlin Carl.
title_auth Ordinal Computability : An Introduction to Infinitary Machines /
title_alt Frontmatter --
Contents --
1. Introduction --
2. Machine models of transfinite computability --
3. Computability strength --
4. Recognizability --
5. Randomness --
6. Degree theory --
7. Complexity --
8. Applications and interactions --
9. Philosophical aspects --
Bibliography --
Index --
De Gruyter Series in Logic and Its Applications
title_new Ordinal Computability :
title_sort ordinal computability : an introduction to infinitary machines /
series De Gruyter Series in Logic and Its Applications ,
series2 De Gruyter Series in Logic and Its Applications ,
publisher De Gruyter,
publishDate 2019
physical 1 online resource (VIII, 335 p.) : Gleichungen: ca. 500
Issued also in print.
contents Frontmatter --
Contents --
1. Introduction --
2. Machine models of transfinite computability --
3. Computability strength --
4. Recognizability --
5. Randomness --
6. Degree theory --
7. Complexity --
8. Applications and interactions --
9. Philosophical aspects --
Bibliography --
Index --
De Gruyter Series in Logic and Its Applications
isbn 9783110496154
9783110762464
9783110719567
9783110616859
9783110610765
9783110664232
9783110610406
9783110606362
9783110492910
9783110495621
issn 1438-1893 ;
url https://doi.org/10.1515/9783110496154
https://www.degruyter.com/isbn/9783110496154
https://www.degruyter.com/document/cover/isbn/9783110496154/original
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.352
dewey-sort 3511.352
dewey-raw 511.352
dewey-search 511.352
doi_str_mv 10.1515/9783110496154
oclc_num 1125186938
work_keys_str_mv AT carlmerlin ordinalcomputabilityanintroductiontoinfinitarymachines
status_str n
ids_txt_mv (DE-B1597)469834
(OCoLC)1125186938
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1
Title is part of eBook package: De Gruyter DG Plus eBook-Package 2019
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE DG 2019 English
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019 English
Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019
Title is part of eBook package: De Gruyter EBOOK PACKAGE Mathematics 2019 English
Title is part of eBook package: De Gruyter EBOOK PACKAGE Mathematics 2019
is_hierarchy_title Ordinal Computability : An Introduction to Infinitary Machines /
container_title Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1
_version_ 1806144421774753792
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04322nam a22008895i 4500</leader><controlfield tag="001">9783110496154</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20192019gw fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110496154</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110496154</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)469834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1125186938</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="8">1u</subfield><subfield code="a">511.352</subfield><subfield code="q">DE-101</subfield><subfield code="2">23/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="q">SEPA</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143216:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Carl, Merlin, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ordinal Computability :</subfield><subfield code="b">An Introduction to Infinitary Machines /</subfield><subfield code="c">Merlin Carl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (VIII, 335 p.) :</subfield><subfield code="b">Gleichungen: ca. 500</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De Gruyter Series in Logic and Its Applications ,</subfield><subfield code="x">1438-1893 ;</subfield><subfield code="v">9</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">1. Introduction -- </subfield><subfield code="t">2. Machine models of transfinite computability -- </subfield><subfield code="t">3. Computability strength -- </subfield><subfield code="t">4. Recognizability -- </subfield><subfield code="t">5. Randomness -- </subfield><subfield code="t">6. Degree theory -- </subfield><subfield code="t">7. Complexity -- </subfield><subfield code="t">8. Applications and interactions -- </subfield><subfield code="t">9. Philosophical aspects -- </subfield><subfield code="t">Bibliography -- </subfield><subfield code="t">Index -- </subfield><subfield code="t">De Gruyter Series in Logic and Its Applications</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Berechenbarkeit.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Registermaschine.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing-Maschine.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus DeG Package 2019 Part 1</subfield><subfield code="z">9783110762464</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus eBook-Package 2019</subfield><subfield code="z">9783110719567</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE DG 2019 English</subfield><subfield code="z">9783110616859</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE 2019 English</subfield><subfield code="z">9783110610765</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE 2019</subfield><subfield code="z">9783110664232</subfield><subfield code="o">ZDB-23-DGG</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE Mathematics 2019 English</subfield><subfield code="z">9783110610406</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE Mathematics 2019</subfield><subfield code="z">9783110606362</subfield><subfield code="o">ZDB-23-DMA</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">EPUB</subfield><subfield code="z">9783110492910</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110495621</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110496154</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110496154</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110496154/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-061040-6 EBOOK PACKAGE Mathematics 2019 English</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-061076-5 EBOOK PACKAGE COMPLETE 2019 English</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-061685-9 EBOOK PACKAGE COMPLETE DG 2019 English</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-071956-7 DG Plus eBook-Package 2019</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-076246-4 DG Plus DeG Package 2019 Part 1</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_CHCOMSGSEN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_CHCOMSGSEN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2019</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DMA</subfield><subfield code="b">2019</subfield></datafield></record></collection>

Similar Items