Compactness and contradiction:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, Rhode Island
American Mathematical Society
[2013]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverzeichnis: Seite 249 - 253 |
| Physical Description: | xii, 256 Seiten |
| ISBN: | 9780821894927 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041083520 | ||
| 003 | DE-604 | ||
| 005 | 20220929 | ||
| 007 | t | ||
| 008 | 130612s2013 xxu |||| 00||| eng d | ||
| 010 | |a 2012046546 | ||
| 020 | |a 9780821894927 |9 978-0-8218-9492-7 | ||
| 035 | |a (OCoLC)852644259 | ||
| 035 | |a (DE-599)BVBBV041083520 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-188 |a DE-384 |a DE-83 |a DE-19 |a DE-11 |a DE-824 | ||
| 050 | 0 | |a QA300.5 | |
| 082 | 0 | |a 515 | |
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 00B15 |2 msc | ||
| 100 | 1 | |a Tao, Terence |d 1975- |e Verfasser |0 (DE-588)132190370 |4 aut | |
| 245 | 1 | 0 | |a Compactness and contradiction |c Terence Tao |
| 264 | 1 | |a Providence, Rhode Island |b American Mathematical Society |c [2013] | |
| 264 | 4 | |c © 2013 | |
| 300 | |a xii, 256 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis: Seite 249 - 253 | ||
| 650 | 4 | |a Mathematical analysis | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gruppentheorie |0 (DE-588)4072157-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Analysis |0 (DE-588)4001865-9 |2 gnd |9 rswk-swf |
| 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 | 1 | |a Gruppentheorie |0 (DE-588)4072157-7 |D s |
| 689 | 0 | 2 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 3 | |a Analysis |0 (DE-588)4001865-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4704-1611-9 |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026060254&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026060254 | ||
Record in the Search Index
| _version_ | 1804150456093507584 |
|---|---|
| adam_text | Titel: Compactness and contradiction
Autor: Tao, Terence
Jahr: 2013
Contents
Preface xi
A remark on notation xi
Acknowledgments xii
Chapter 1. Logic and foundations 1
§1.1. Material implication 1
§1.2. Errors in mathematical proofs 2
§1.3. Mathematical strength 4
§1.4. Stable implications 6
§1.5. Notational Conventions 8
§1.6. Abstraction 9
§1.7. Circular arguments 11
§1.8. The classical number Systems 12
§1.9. Round numbers 15
§1.10. The no-self-defeating object argument, revisited 16
§1.11. The no-self-defeating object argument, and the vagueness
paradox 28
§1.12. A computational perspective on set theory 35
Chapter 2. Group theory 51
§2.1. Torsors 51
§2.2. Active and passive transformations 54
§2.3. Cayley graphs and the geometry of groups 56
§2.4. Group extensions 62
vii
viii Contents
§2.5. A proof of Gromov s theorem 69
Chapter 3. Analysis 79
§3.1. Orders of magnitude, and tropical geometry 79
§3.2. Descriptive set theory vs. Lebesgue set theory 81
§3.3. Complex analysis vs. real analysis 82
§3.4. Sharp inequalities 85
§3.5. Implied constants and asymptotic notation 87
§3.6. Brownian snowflakes 88
§3.7. The Euler-Maclaurin formula, Bernoulli numbers, the zeta
function, and real-variable analytic continuation 88
§3.8. Finitary consequences of the invariant subspace problem 104
§3.9. The Guth-Katz result on the Erdös distance problem 110
§3.10. The Bourgain-Guth method for proving restriction theorems 123
Chapter 4. Non- Standard analysis 133
§4.1. Real numbers, non-standard real numbers, and finite precision
arithmetic 133
§4.2. Non-Standard analysis as algebraic analysis 136
§4.3. Compactness and contradiction: the correspondence principle
in ergodic theory 137
§4.4. Non-Standard analysis as a completion of Standard analysis 150
§4.5. Concentration compactness via non-standard analysis 168
Chapter 5. Partial differential equations 181
§5.1. Quasilinear well-posedness 181
§5.2. A type diagram for function Spaces 189
§5.3. Amplitude-frequency dynamics for semilinear dispersive
equations 194
§5.4. The Euler-Arnold equation 203
Chapter 6. Miscellaneous 217
§6.1. Multiplicity of perspective 217
§6.2. Memorisation vs. derivation 220
§6.3. Coordinates 222
§6.4. Spatial scales 227
§6.5. Averaging 228
^6.6. What colour is the sun? 231
Contents ix
§6.7. Zeno s paradoxes and induction 232
§6.8. Jevons paradox 233
§6.9. Bayesian probability 236
§6.10. Best, worst, and average-case analysis 242
§6.11. Duality 244
§6.12. Open and closed conditions 246
Bibliography 249
Index 255
|
| any_adam_object | 1 |
| author | Tao, Terence 1975- |
| author_GND | (DE-588)132190370 |
| author_facet | Tao, Terence 1975- |
| author_role | aut |
| author_sort | Tao, Terence 1975- |
| author_variant | t t tt |
| building | Verbundindex |
| bvnumber | BV041083520 |
| callnumber-first | Q - Science |
| callnumber-label | QA300 |
| callnumber-raw | QA300.5 |
| callnumber-search | QA300.5 |
| callnumber-sort | QA 3300.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 110 SK 130 |
| ctrlnum | (OCoLC)852644259 (DE-599)BVBBV041083520 |
| dewey-full | 515 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 515 - Analysis |
| dewey-raw | 515 |
| dewey-search | 515 |
| dewey-sort | 3515 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01948nam a2200517 c 4500</leader><controlfield tag="001">BV041083520</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220929 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130612s2013 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2012046546</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821894927</subfield><subfield code="9">978-0-8218-9492-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852644259</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041083520</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA300.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">515</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</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="084" ind1=" " ind2=" "><subfield code="a">00B15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tao, Terence</subfield><subfield code="d">1975-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132190370</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compactness and contradiction</subfield><subfield code="c">Terence Tao</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 256 Seiten</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis: Seite 249 - 253</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4704-1611-9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=026060254&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026060254</subfield></datafield></record></collection> |
| id | DE-604.BV041083520 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:39:12Z |
| institution | BVB |
| isbn | 9780821894927 |
| language | English |
| lccn | 2012046546 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026060254 |
| oclc_num | 852644259 |
| open_access_boolean | |
| owner | DE-188 DE-384 DE-83 DE-19 DE-BY-UBM DE-11 DE-824 |
| owner_facet | DE-188 DE-384 DE-83 DE-19 DE-BY-UBM DE-11 DE-824 |
| physical | xii, 256 Seiten |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | American Mathematical Society |
| record_format | marc |
| spelling | Tao, Terence 1975- Verfasser (DE-588)132190370 aut Compactness and contradiction Terence Tao Providence, Rhode Island American Mathematical Society [2013] © 2013 xii, 256 Seiten txt rdacontent n rdamedia nc rdacarrier Literaturverzeichnis: Seite 249 - 253 Mathematical analysis Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Gruppentheorie (DE-588)4072157-7 gnd rswk-swf Analysis (DE-588)4001865-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Gruppentheorie (DE-588)4072157-7 s Beweistheorie (DE-588)4145177-6 s Analysis (DE-588)4001865-9 s DE-604 Erscheint auch als Online-Ausgabe 978-1-4704-1611-9 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026060254&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tao, Terence 1975- Compactness and contradiction Mathematical analysis Proof theory Beweistheorie (DE-588)4145177-6 gnd Gruppentheorie (DE-588)4072157-7 gnd Analysis (DE-588)4001865-9 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4072157-7 (DE-588)4001865-9 (DE-588)4037951-6 |
| title | Compactness and contradiction |
| title_auth | Compactness and contradiction |
| title_exact_search | Compactness and contradiction |
| title_full | Compactness and contradiction Terence Tao |
| title_fullStr | Compactness and contradiction Terence Tao |
| title_full_unstemmed | Compactness and contradiction Terence Tao |
| title_short | Compactness and contradiction |
| title_sort | compactness and contradiction |
| topic | Mathematical analysis Proof theory Beweistheorie (DE-588)4145177-6 gnd Gruppentheorie (DE-588)4072157-7 gnd Analysis (DE-588)4001865-9 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematical analysis Proof theory Beweistheorie Gruppentheorie Analysis Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026060254&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT taoterence compactnessandcontradiction |