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
1965
|
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-662-11686-9 |
Beschreibung: | The task of developing algorithms to solve problems has always been considered by mathematicians to be an especially interesting and im portant one. Normally an algorithm is applicable only to a narrowly limited group of problems. Such is for instance the Euclidean algorithm, which determines the greatest common divisor of two numbers, or the well-known procedure which is used to obtain the square root of a natural number in decimal notation. The more important these special algorithms are, all the more desirable it seems to have algorithms of a greater range of applicability at one's disposal. Throughout the centuries, attempts to provide algorithms applicable as widely as possible were rather unsuc cessful. It was only in the second half of the last century that the first appreciable advance took place. Namely, an important group of the inferences of the logic of predicates was given in the form of a calculus. (Here the Boolean algebra played an essential pioneer role. ) One could now perhaps have conjectured that all mathematical problems are solvable by algorithms. However, well-known, yet unsolved problems (problems like the word problem of group theory or Hilbert's tenth problem, which considers the question of solvability of Diophantine equations) were warnings to be careful. Nevertheless, the impulse had been given to search for the essence of algorithms. Leibniz already had inquired into this problem, but without success |
Umfang: | 1 Online-Ressource (X, 245 p) |
ISBN: | 9783662116869 9783662116883 |
ISSN: | 0072-7830 |
DOI: | 10.1007/978-3-662-11686-9 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV042423458 | ||
003 | DE-604 | ||
005 | 20180410 | ||
007 | cr|uuu---uuuuu | ||
008 | 150317s1965 xx o|||| 00||| eng d | ||
020 | |a 9783662116869 |c Online |9 978-3-662-11686-9 | ||
020 | |a 9783662116883 |c Print |9 978-3-662-11688-3 | ||
024 | 7 | |a 10.1007/978-3-662-11686-9 |2 doi | |
035 | |a (OCoLC)863969327 | ||
035 | |a (DE-599)BVBBV042423458 | ||
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 |
264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1965 | |
300 | |a 1 Online-Ressource (X, 245 p) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete |v 127 |x 0072-7830 | |
500 | |a The task of developing algorithms to solve problems has always been considered by mathematicians to be an especially interesting and im portant one. Normally an algorithm is applicable only to a narrowly limited group of problems. Such is for instance the Euclidean algorithm, which determines the greatest common divisor of two numbers, or the well-known procedure which is used to obtain the square root of a natural number in decimal notation. The more important these special algorithms are, all the more desirable it seems to have algorithms of a greater range of applicability at one's disposal. Throughout the centuries, attempts to provide algorithms applicable as widely as possible were rather unsuc cessful. It was only in the second half of the last century that the first appreciable advance took place. Namely, an important group of the inferences of the logic of predicates was given in the form of a calculus. (Here the Boolean algebra played an essential pioneer role. ) One could now perhaps have conjectured that all mathematical problems are solvable by algorithms. However, well-known, yet unsolved problems (problems like the word problem of group theory or Hilbert's tenth problem, which considers the question of solvability of Diophantine equations) were warnings to be careful. Nevertheless, the impulse had been given to search for the essence of algorithms. Leibniz already had inquired into this problem, but without success | ||
650 | 4 | |a Mathematics | |
650 | 4 | |a Mathematics, general | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |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 Rekursive Funktion |0 (DE-588)4138367-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 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-11686-9 |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-027858875 |
Datensatz im Suchindex
DE-BY-TUM_katkey | 2070467 |
---|---|
_version_ | 1821931362915975168 |
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 | BV042423458 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA ZDB-2-BAE |
ctrlnum | (OCoLC)863969327 (DE-599)BVBBV042423458 |
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-662-11686-9 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04478nam a2200721zcb4500</leader><controlfield tag="001">BV042423458</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180410 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1965 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662116869</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-11686-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662116883</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-11688-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-11686-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863969327</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423458</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="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 245 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="0" ind2=" "><subfield code="a">Die Grundlehren der Mathematischen Wissenschaften, In Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete</subfield><subfield code="v">127</subfield><subfield code="x">0072-7830</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The task of developing algorithms to solve problems has always been considered by mathematicians to be an especially interesting and im portant one. Normally an algorithm is applicable only to a narrowly limited group of problems. Such is for instance the Euclidean algorithm, which determines the greatest common divisor of two numbers, or the well-known procedure which is used to obtain the square root of a natural number in decimal notation. The more important these special algorithms are, all the more desirable it seems to have algorithms of a greater range of applicability at one's disposal. Throughout the centuries, attempts to provide algorithms applicable as widely as possible were rather unsuc cessful. It was only in the second half of the last century that the first appreciable advance took place. Namely, an important group of the inferences of the logic of predicates was given in the form of a calculus. (Here the Boolean algebra played an essential pioneer role. ) One could now perhaps have conjectured that all mathematical problems are solvable by algorithms. However, well-known, yet unsolved problems (problems like the word problem of group theory or Hilbert's tenth problem, which considers the question of solvability of Diophantine equations) were warnings to be careful. Nevertheless, the impulse had been given to search for the essence of algorithms. Leibniz already had inquired into this problem, but without success</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">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">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">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">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">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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-11686-9</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-027858875</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV042423458 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T17:10:48Z |
institution | BVB |
isbn | 9783662116869 9783662116883 |
issn | 0072-7830 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858875 |
oclc_num | 863969327 |
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 (X, 245 p) |
psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
publishDate | 1965 |
publishDateSearch | 1965 |
publishDateSort | 1965 |
publisher | Springer Berlin Heidelberg |
record_format | marc |
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 Mathematics Mathematics, general Mathematik Berechenbarkeit (DE-588)4138368-0 gnd Algorithmentheorie (DE-588)4200409-3 gnd Algorithmus (DE-588)4001183-5 gnd Aufzählbarkeit (DE-588)4800450-9 gnd Rekursive Funktion (DE-588)4138367-9 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
subject_GND | (DE-588)4138368-0 (DE-588)4200409-3 (DE-588)4001183-5 (DE-588)4800450-9 (DE-588)4138367-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 Berechenbarkeit (DE-588)4138368-0 gnd Algorithmentheorie (DE-588)4200409-3 gnd Algorithmus (DE-588)4001183-5 gnd Aufzählbarkeit (DE-588)4800450-9 gnd Rekursive Funktion (DE-588)4138367-9 gnd Entscheidbarkeit (DE-588)4152398-2 gnd |
topic_facet | Mathematics Mathematics, general Mathematik Berechenbarkeit Algorithmentheorie Algorithmus Aufzählbarkeit Rekursive Funktion Entscheidbarkeit Einführung |
url | https://doi.org/10.1007/978-3-662-11686-9 |
work_keys_str_mv | AT hermeshans enumerabilitydecidabilitycomputabilityanintroductiontothetheoryofrecursivefunctions |