Enumerability - Decidability Computability: An Introduction to the Theory of Recursive Functions
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1969
|
| Ausgabe: | Second revised Edition |
| Schriftenreihe: | Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete
127 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-642-46178-1 |
| Beschreibung: | Once we have accepted a precise replacement of the concept of algorithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algorithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathematics in the first half of the twentieth century. If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics. In view of the important role which mathematics plays today in our conception of the world this fact is of great philosophical interest. Post speaks of a natural law about the "limitations of the mathematicizing power of Homo Sapiens". Here we also find a starting point for the discussion of the question, what the actual creative activity of the mathematician consists in. In this book we shall give an introduction to the theory of algorithms |
| Umfang: | 1 Online-Ressource (XII, 250 p) |
| ISBN: | 9783642461781 9783642461804 |
| DOI: | 10.1007/978-3-642-46178-1 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042422503 | ||
| 003 | DE-604 | ||
| 005 | 20240626 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1969 xx o|||| 00||| eng d | ||
| 020 | |a 9783642461781 |c Online |9 978-3-642-46178-1 | ||
| 020 | |a 9783642461804 |c Print |9 978-3-642-46180-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-46178-1 |2 doi | |
| 035 | |a (OCoLC)1185234968 | ||
| 035 | |a (DE-599)BVBBV042422503 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 510 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Hermes, Hans |d 1912-2003 |e Verfasser |0 (DE-588)117712302 |4 aut | |
| 245 | 1 | 0 | |a Enumerability - Decidability Computability |b An Introduction to the Theory of Recursive Functions |c by Hans Hermes |
| 250 | |a Second revised Edition | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1969 | |
| 300 | |a 1 Online-Ressource (XII, 250 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |v 127 | |
| 500 | |a Once we have accepted a precise replacement of the concept of algorithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algorithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathematics in the first half of the twentieth century. If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics. In view of the important role which mathematics plays today in our conception of the world this fact is of great philosophical interest. Post speaks of a natural law about the "limitations of the mathematicizing power of Homo Sapiens". Here we also find a starting point for the discussion of the question, what the actual creative activity of the mathematician consists in. In this book we shall give an introduction to the theory of algorithms | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Rekursive Funktion |0 (DE-588)4138367-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aufzählbarkeit |0 (DE-588)4800450-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Rekursive Funktion |0 (DE-588)4138367-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 689 | 4 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 4 | |8 6\p |5 DE-604 | |
| 689 | 5 | 0 | |a Aufzählbarkeit |0 (DE-588)4800450-9 |D s |
| 689 | 5 | |8 7\p |5 DE-604 | |
| 830 | 0 | |a Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |v 127 |w (DE-604)BV049758308 |9 127 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-46178-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 7\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027857920 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2069512 |
|---|---|
| _version_ | 1821931346519392257 |
| any_adam_object | |
| author | Hermes, Hans 1912-2003 |
| author_GND | (DE-588)117712302 |
| author_facet | Hermes, Hans 1912-2003 |
| author_role | aut |
| author_sort | Hermes, Hans 1912-2003 |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV042422503 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1185234968 (DE-599)BVBBV042422503 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-642-46178-1 |
| edition | Second revised Edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04648nam a2200745zcb4500</leader><controlfield tag="001">BV042422503</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240626 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1969 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642461781</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-46178-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642461804</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-46180-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-46178-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1185234968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042422503</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hermes, Hans</subfield><subfield code="d">1912-2003</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117712302</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Enumerability - Decidability Computability</subfield><subfield code="b">An Introduction to the Theory of Recursive Functions</subfield><subfield code="c">by Hans Hermes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second revised Edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 250 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete</subfield><subfield code="v">127</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Once we have accepted a precise replacement of the concept of algorithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algorithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathematics in the first half of the twentieth century. If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics. In view of the important role which mathematics plays today in our conception of the world this fact is of great philosophical interest. Post speaks of a natural law about the "limitations of the mathematicizing power of Homo Sapiens". Here we also find a starting point for the discussion of the question, what the actual creative activity of the mathematician consists in. In this book we shall give an introduction to the theory of algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aufzählbarkeit</subfield><subfield code="0">(DE-588)4800450-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">6\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Aufzählbarkeit</subfield><subfield code="0">(DE-588)4800450-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">7\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete</subfield><subfield code="v">127</subfield><subfield code="w">(DE-604)BV049758308</subfield><subfield code="9">127</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-46178-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">6\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">7\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027857920</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042422503 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:46Z |
| institution | BVB |
| isbn | 9783642461781 9783642461804 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027857920 |
| oclc_num | 1185234968 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 250 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |
| series2 | Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete |
| spellingShingle | Hermes, Hans 1912-2003 Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions Die Grundlehren der mathematischen Wissenschaften, In Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete Mathematics Mathematics, general Mathematik Rekursive Funktion (DE-588)4138367-9 gnd Algorithmentheorie (DE-588)4200409-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Algorithmus (DE-588)4001183-5 gnd Aufzählbarkeit (DE-588)4800450-9 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| subject_GND | (DE-588)4138367-9 (DE-588)4200409-3 (DE-588)4138368-0 (DE-588)4001183-5 (DE-588)4800450-9 (DE-588)4152398-2 (DE-588)4151278-9 |
| title | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions |
| title_auth | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions |
| title_exact_search | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions |
| title_full | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions by Hans Hermes |
| title_fullStr | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions by Hans Hermes |
| title_full_unstemmed | Enumerability - Decidability Computability An Introduction to the Theory of Recursive Functions by Hans Hermes |
| title_short | Enumerability - Decidability Computability |
| title_sort | enumerability decidability computability an introduction to the theory of recursive functions |
| title_sub | An Introduction to the Theory of Recursive Functions |
| topic | Mathematics Mathematics, general Mathematik Rekursive Funktion (DE-588)4138367-9 gnd Algorithmentheorie (DE-588)4200409-3 gnd Berechenbarkeit (DE-588)4138368-0 gnd Algorithmus (DE-588)4001183-5 gnd Aufzählbarkeit (DE-588)4800450-9 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
| topic_facet | Mathematics Mathematics, general Mathematik Rekursive Funktion Algorithmentheorie Berechenbarkeit Algorithmus Aufzählbarkeit Entscheidbarkeit Einführung |
| url | https://doi.org/10.1007/978-3-642-46178-1 |
| volume_link | (DE-604)BV049758308 |
| work_keys_str_mv | AT hermeshans enumerabilitydecidabilitycomputabilityanintroductiontothetheoryofrecursivefunctions |