Logical foundations of mathematics and computational complexity: a gentle introduction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg [u.a.]
Springer
2013
|
| Schriftenreihe: | Springer monographs in mathematics
|
| Schlagworte: | |
| Online-Zugang: | BTU01 TUM01 UBA01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783319001180 9783319001197 |
| DOI: | 10.1007/978-3-319-00119-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV041043696 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130524s2013 |||| o||u| ||||||eng d | ||
| 015 | |a 13,O05 |2 dnb | ||
| 016 | 7 | |a 1033790591 |2 DE-101 | |
| 020 | |a 9783319001180 |9 978-3-319-00118-0 | ||
| 020 | |a 9783319001197 |c Online |9 978-3-319-00119-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-00119-7 |2 doi | |
| 024 | 3 | |a 9783319001197 | |
| 035 | |a (OCoLC)846968522 | ||
| 035 | |a (DE-599)DNB1033790591 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-20 |a DE-703 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-83 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a MAT 000 |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Pudlák, Pavel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical foundations of mathematics and computational complexity |b a gentle introduction |c Pavel Pudlák |
| 264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer monographs in mathematics | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-00119-7 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026021059 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-00119-7 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804150406379470848 |
|---|---|
| adam_text | LOGICAL FOUNDATIONS OF MATHEMATICS AND COMPUTATIONAL COMPLEXITY
/ PUDLAK, PAVEL
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
MATHEMATICIAN’S WORLD
LANGUAGE, LOGIC AND COMPUTATIONS
SET THEORY
PROOFS OF IMPOSSIBILITY
THE COMPLEXITY OF COMPUTATIONS
PROOF COMPLEXITY
CONSISTENCY, TRUTH AND EXISTENCE
REFERENCES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGICAL FOUNDATIONS OF MATHEMATICS AND COMPUTATIONAL COMPLEXITY
/ PUDLAK, PAVEL
: 2013
ABSTRACT / INHALTSTEXT
THE TWO MAIN THEMES OF THIS BOOK, LOGIC AND COMPLEXITY, ARE BOTH
ESSENTIAL FOR UNDERSTANDING THE MAIN PROBLEMS ABOUT THE FOUNDATIONS OF
MATHEMATICS. LOGICAL FOUNDATIONS OF MATHEMATICS AND COMPUTATIONAL
COMPLEXITY COVERS A BROAD SPECTRUM OF RESULTS IN LOGIC AND SET THEORY
THAT ARE RELEVANT TO THE FOUNDATIONS, AS WELL AS THE RESULTS IN
COMPUTATIONAL COMPLEXITY AND THE INTERDISCIPLINARY AREA OF PROOF
COMPLEXITY. THE AUTHOR PRESENTS HIS IDEAS ON HOW THESE AREAS ARE
CONNECTED, WHAT ARE THE MOST FUNDAMENTAL PROBLEMS AND HOW THEY SHOULD BE
APPROACHED. IN PARTICULAR, HE ARGUES THAT COMPLEXITY IS AS IMPORTANT FOR
FOUNDATIONS AS ARE THE MORE TRADITIONAL CONCEPTS OF COMPUTABILITY AND
PROVABILITY. EMPHASIS IS ON EXPLAINING THE ESSENCE OF CONCEPTS AND THE
IDEAS OF PROOFS, RATHER THAN PRESENTING PRECISE FORMAL STATEMENTS AND
FULL PROOFS. EACH SECTION STARTS WITH CONCEPTS AND RESULTS EASILY
EXPLAINED, AND GRADUALLY PROCEEDS TO MORE DIFFICULT ONES. THE NOTES
AFTER EACH SECTION PRESENT SOME FORMAL DEFINITIONS, THEOREMS AND PROOFS.
LOGICAL FOUNDATIONS OF MATHEMATICS AND COMPUTATIONAL COMPLEXITY IS AIMED
AT GRADUATE STUDENTS OF ALL FIELDS OF MATHEMATICS WHO ARE INTERESTED IN
LOGIC, COMPLEXITY AND FOUNDATIONS. IT WILL ALSO BE OF INTEREST FOR BOTH
PHYSICISTS AND PHILOSOPHERS WHO ARE CURIOUS TO LEARN THE BASICS OF LOGIC
AND COMPLEXITY THEORY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Pudlák, Pavel |
| author_facet | Pudlák, Pavel |
| author_role | aut |
| author_sort | Pudlák, Pavel |
| author_variant | p p pp |
| building | Verbundindex |
| bvnumber | BV041043696 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)846968522 (DE-599)DNB1033790591 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-319-00119-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02653nmm a2200541zc 4500</leader><controlfield tag="001">BV041043696</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130524s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O05</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1033790591</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319001180</subfield><subfield code="9">978-3-319-00118-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319001197</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-00119-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-00119-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319001197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)846968522</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1033790591</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-634</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pudlák, Pavel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of mathematics and computational complexity</subfield><subfield code="b">a gentle introduction</subfield><subfield code="c">Pavel Pudlák</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">Springer monographs in mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\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-319-00119-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026021059</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-00119-7</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041043696 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:38:25Z |
| institution | BVB |
| isbn | 9783319001180 9783319001197 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026021059 |
| oclc_num | 846968522 |
| open_access_boolean | |
| owner | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
| owner_facet | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SMA |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer monographs in mathematics |
| spelling | Pudlák, Pavel Verfasser aut Logical foundations of mathematics and computational complexity a gentle introduction Pavel Pudlák Heidelberg [u.a.] Springer 2013 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Springer monographs in mathematics Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 https://doi.org/10.1007/978-3-319-00119-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Pudlák, Pavel Logical foundations of mathematics and computational complexity a gentle introduction Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Logical foundations of mathematics and computational complexity a gentle introduction |
| title_auth | Logical foundations of mathematics and computational complexity a gentle introduction |
| title_exact_search | Logical foundations of mathematics and computational complexity a gentle introduction |
| title_full | Logical foundations of mathematics and computational complexity a gentle introduction Pavel Pudlák |
| title_fullStr | Logical foundations of mathematics and computational complexity a gentle introduction Pavel Pudlák |
| title_full_unstemmed | Logical foundations of mathematics and computational complexity a gentle introduction Pavel Pudlák |
| title_short | Logical foundations of mathematics and computational complexity |
| title_sort | logical foundations of mathematics and computational complexity a gentle introduction |
| title_sub | a gentle introduction |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik |
| url | https://doi.org/10.1007/978-3-319-00119-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026021059&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pudlakpavel logicalfoundationsofmathematicsandcomputationalcomplexityagentleintroduction |