The Undecidable: Basic papers on undecidable propositions, unsolvable problems, and computable functions
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Hewlett, N.Y.
Raven Pr.
1965
|
| Subjects: | |
| Physical Description: | 440 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002275612 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1965 |||| 00||| eng d | ||
| 035 | |a (OCoLC)232930 | ||
| 035 | |a (DE-599)BVBBV002275612 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-355 |a DE-19 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA248.5 | |
| 082 | 0 | |a 512.8 | |
| 084 | |a QH 120 |0 (DE-625)141532: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a The Undecidable |b Basic papers on undecidable propositions, unsolvable problems, and computable functions |c Hrsg. von Martin Davis* |
| 264 | 1 | |a Hewlett, N.Y. |b Raven Pr. |c 1965 | |
| 300 | |a 440 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Entscheidbarkeit |2 swd | |
| 650 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Fonctions calculables |2 ram | |
| 650 | 4 | |a Fonctions récursives | |
| 650 | 7 | |a Fonctions récursives |2 ram | |
| 650 | 4 | |a Gödel, Théorème de | |
| 650 | 7 | |a Gödel, Théorème de |2 ram | |
| 650 | 4 | |a Non-résolubilité (Logique mathématique) | |
| 650 | 7 | |a Non-résolubilité (logique mathématique) |2 ram | |
| 650 | 4 | |a Turing, Machines de | |
| 650 | 7 | |a Turing, Machines de |2 ram | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a indécidabilité |2 inriac | |
| 650 | 7 | |a insolubilité |2 inriac | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Gödel's theorem | |
| 650 | 4 | |a Recursive functions | |
| 650 | 4 | |a Turing machines | |
| 650 | 4 | |a Unsolvability (Mathematical logic) | |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Davis, Martin |d 1928-2023 |e Sonstige |0 (DE-588)116040866 |4 oth | |
| 940 | 1 | |q TUB-nseb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001494846 | ||
| 980 | 4 | |a (DE-12)AK04910358 | |
| 980 | 4 | |a (DE-12)AK22610765 | |
Record in the Search Index
| _version_ | 1804116733186801664 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)116040866 |
| building | Verbundindex |
| bvnumber | BV002275612 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248.5 |
| callnumber-search | QA248.5 |
| callnumber-sort | QA 3248.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 120 SK 130 |
| ctrlnum | (OCoLC)232930 (DE-599)BVBBV002275612 |
| dewey-full | 512.8 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512.8 |
| dewey-search | 512.8 |
| dewey-sort | 3512.8 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01966nam a2200589 c 4500</leader><controlfield tag="001">BV002275612</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1965 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232930</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002275612</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 120</subfield><subfield code="0">(DE-625)141532:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Undecidable</subfield><subfield code="b">Basic papers on undecidable propositions, unsolvable problems, and computable functions</subfield><subfield code="c">Hrsg. von Martin Davis*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hewlett, N.Y.</subfield><subfield code="b">Raven Pr.</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">440 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions calculables</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions récursives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel, Théorème de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gödel, Théorème de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Non-résolubilité (Logique mathématique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Non-résolubilité (logique mathématique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing, Machines de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Turing, Machines de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">indécidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">insolubilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel's theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing machines</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unsolvability (Mathematical logic)</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="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Davis, Martin</subfield><subfield code="d">1928-2023</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)116040866</subfield><subfield code="4">oth</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nseb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001494846</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK04910358</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK22610765</subfield></datafield></record></collection> |
| id | DE-604.BV002275612 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:43:12Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001494846 |
| oclc_num | 232930 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-706 DE-83 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-706 DE-83 |
| physical | 440 S. |
| psigel | TUB-nseb |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | Raven Pr. |
| record_format | marc |
| spelling | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions Hrsg. von Martin Davis* Hewlett, N.Y. Raven Pr. 1965 440 S. txt rdacontent n rdamedia nc rdacarrier Entscheidbarkeit swd Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Gödel, Théorème de Gödel, Théorème de ram Non-résolubilité (Logique mathématique) Non-résolubilité (logique mathématique) ram Turing, Machines de Turing, Machines de ram calcul propositionnel inriac indécidabilité inriac insolubilité inriac Computable functions Gödel's theorem Recursive functions Turing machines Unsolvability (Mathematical logic) Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 s DE-604 Davis, Martin 1928-2023 Sonstige (DE-588)116040866 oth |
| spellingShingle | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions Entscheidbarkeit swd Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Gödel, Théorème de Gödel, Théorème de ram Non-résolubilité (Logique mathématique) Non-résolubilité (logique mathématique) ram Turing, Machines de Turing, Machines de ram calcul propositionnel inriac indécidabilité inriac insolubilité inriac Computable functions Gödel's theorem Recursive functions Turing machines Unsolvability (Mathematical logic) Entscheidbarkeit (DE-588)4152398-2 gnd |
| subject_GND | (DE-588)4152398-2 |
| title | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_auth | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_exact_search | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions |
| title_full | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions Hrsg. von Martin Davis* |
| title_fullStr | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions Hrsg. von Martin Davis* |
| title_full_unstemmed | The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions Hrsg. von Martin Davis* |
| title_short | The Undecidable |
| title_sort | the undecidable basic papers on undecidable propositions unsolvable problems and computable functions |
| title_sub | Basic papers on undecidable propositions, unsolvable problems, and computable functions |
| topic | Entscheidbarkeit swd Fonctions calculables Fonctions calculables ram Fonctions récursives Fonctions récursives ram Gödel, Théorème de Gödel, Théorème de ram Non-résolubilité (Logique mathématique) Non-résolubilité (logique mathématique) ram Turing, Machines de Turing, Machines de ram calcul propositionnel inriac indécidabilité inriac insolubilité inriac Computable functions Gödel's theorem Recursive functions Turing machines Unsolvability (Mathematical logic) Entscheidbarkeit (DE-588)4152398-2 gnd |
| topic_facet | Entscheidbarkeit Fonctions calculables Fonctions récursives Gödel, Théorème de Non-résolubilité (Logique mathématique) Non-résolubilité (logique mathématique) Turing, Machines de calcul propositionnel indécidabilité insolubilité Computable functions Gödel's theorem Recursive functions Turing machines Unsolvability (Mathematical logic) |
| work_keys_str_mv | AT davismartin theundecidablebasicpapersonundecidablepropositionsunsolvableproblemsandcomputablefunctions |