Verfügbarkeit: Logical foundations of mathematics and computational complexity

Logical foundations of mathematics and computational complexity: a gentle introduction

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Pudlák, Pavel (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Heidelberg [u.a.] Springer 2013
Schriftenreihe:	Springer monographs in mathematics
Schlagwörter:	Mathematische Logik
Links:	https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 https://doi.org/10.1007/978-3-319-00119-7 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
Umfang:	1 Online-Ressource
ISBN:	9783319001180 9783319001197
DOI:	10.1007/978-3-319-00119-7

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV041043696
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	130524s2013 xx o\|\|\|\| 00\|\|\| 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
883	1		\|8 1\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-026021059
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-634 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-91 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-384 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-19 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-703 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-20 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-00119-7 \|l DE-739 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	1929954
_version_	1821934818781298688
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>02657nam 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 xx o\|\|\|\| 00\|\|\| 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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026021059</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">DE-634</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">DE-91</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">DE-384</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">DE-19</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">DE-703</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">DE-20</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">DE-739</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-12-20T16:29:37Z
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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen
Inhaltsverzeichnis