Gentzen's centenary the quest for consistency
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2015]
|
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-861 DE-91 DE-19 DE-703 DE-20 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043208738 | ||
| 003 | DE-604 | ||
| 005 | 20200929 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 xx o|||| 00||| eng d | ||
| 020 | |a 9783319101033 |c Online |9 978-3-319-10103-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-10103-3 |2 doi | |
| 035 | |a (OCoLC)932047072 | ||
| 035 | |a (DE-599)BVBBV043208738 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-703 |a DE-20 |a DE-739 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Gentzen's centenary |b the quest for consistency |c Reinhard Kahle, Michael Rathjen, editors |
| 264 | 1 | |a Cham |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (X, 561 p. 23 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematik | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Kahle, Reinhard |d 1967- |0 (DE-588)123216826 |4 edt | |
| 700 | 1 | |a Rathjen, Michael |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-10102-6 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-10103-3 |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=028631898&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=028631898&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q UBY_PDA_SMA | |
| 940 | 1 | |q ZDB-2-SMA_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028631898 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-634 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-861 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-91 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-19 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-703 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-20 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l DE-739 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2159524 |
|---|---|
| DE-BY-UBM_katkey | 5238051 |
| _version_ | 1823055817030500352 |
| adam_text | GENTZEN S CENTENARY
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
IN MEMORIAM: GRIGORI MINTS
PART I: REFLECTIONS
1. REINHARD KAHLE: GENTZEN S CONSISTENCY PROOF IN CONTEXT
2. MICHAEL DETLEFSEN: GENTZEN S ANTI-FORMALIST VIEWS
3. ANTON SETZER: THE USE OF TRUSTWORTHY PRINCIPLES IN A REVISED
HILBERT S PROGRAM
PART II: GENTZEN S CONSISTENCY PROOF
4. WILFRIED BUCHHOLZ: ON GENTZEN S FIRST CONSISTENCY PROOF FOR
ARITHMETIC
5. JAN VON PLATO: FROM EMPH{HAUPTSATZ} TO EMPH{HILFSSATZ} (WITH AN
APPENDIX BY SIDERS/VON PLATO)
6. DAG PRAWITZ: EXTENDING GENTZEN S 2ND CONSISTENCY PROOF TO
NORMALIZATION OF NATURAL DEDUCTIONS IN 1ST ORDER ARITHMETIC
7. ANNIKA SIDERS: A DIRECT GENTZEN-STYLE CONSISTENCY PROOF FOR HEYTING
ARITHMETIC
8. W. W. TAIT: GENTZEN S ORIGINAL CONSISTENCY PROOF AND THE BAR THEOREM
PART III: RESULTS
9. SAM BUSS: CUT ELIMINATION EMPH{IN SITU}
10. FERNANDO FERREIRA: SPECTOR S PROOF OF THE CONSISTENCY OF ANALYSIS
11. HERMAN JERVELL: CLIMBING MOUNT $ VAREPSILON_0$
12. WOLFRAM POHLERS: SEMI-FORMAL CALCULI AND THEIR APPLICATIONS
PART IV: DEVELOPMENTS
13. TOSHIYASU ARAI: PROOF THEORY FOR THEORIES OF ORDINALS III:
$ PI_{N}$-REFLECTION
14. GERHARD JAEGER AND DIETER PROBST: A PROOF-THEORETIC ANALYSIS OF
THEORIES FOR STRATIFIED INDUCTIVE DEFINITIONS
15. FREDERIK MESKENS AND ANDREAS WEIERMANN: CLASSIFYING PHASE TRANSITION
THRESHOLDS FOR GOODSTEIN SEQUENCES AND HYDRA GAMES
16. GRIGORI MINTS: NON-DETERMINISTIC EPSILON SUBSTITUTION METHOD FOR
$ MATHSF{PA}$ AND $ MATHSF{ID}_1$
17. PAULO OLIVA AND THOMAS POWELL: A GAME-THEORETIC COMPUTATIONAL
INTERPRETATION OF PROOFS IN CLASSICAL ANALYSIS
18. MICHAEL RATHJEN AND PEDRO FRANCISCO VALENCIA VIZCAINO: WELL
ORDERING PRINCIPLES AND BAR INDUCTION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
GENTZEN S CENTENARY
/
: 2015
ABSTRACT / INHALTSTEXT
GERHARD GENTZEN HAS BEEN DESCRIBED AS LOGIC’S LOST GENIUS, WHOM GOEDEL
CALLED A BETTER LOGICIAN THAN HIMSELF. THIS WORK COMPRISES ARTICLES BY
LEADING PROOF THEORISTS, ATTESTING TO GENTZEN’S ENDURING LEGACY TO
MATHEMATICAL LOGIC AND BEYOND. THE CONTRIBUTIONS RANGE FROM
PHILOSOPHICAL REFLECTIONS AND RE-EVALUATIONS OF GENTZEN’S ORIGINAL
CONSISTENCY PROOFS TO THE MOST RECENT DEVELOPMENTS IN PROOF THEORY.
GENTZEN FOUNDED MODERN PROOF THEORY. HIS SEQUENT CALCULUS AND NATURAL
DEDUCTION SYSTEM BEAUTIFULLY EXPLAIN THE DEEP SYMMETRIES OF LOGIC. THEY
UNDERLIE MODERN DEVELOPMENTS IN COMPUTER SCIENCE SUCH AS AUTOMATED
THEOREM PROVING AND TYPE THEORY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Kahle, Reinhard 1967- Rathjen, Michael |
| author2_role | edt edt |
| author2_variant | r k rk m r mr |
| author_GND | (DE-588)123216826 |
| author_facet | Kahle, Reinhard 1967- Rathjen, Michael |
| building | Verbundindex |
| bvnumber | BV043208738 |
| classification_rvk | SK 130 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)932047072 (DE-599)BVBBV043208738 |
| 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-10103-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02707nam a2200565zc 4500</leader><controlfield tag="001">BV043208738</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200929 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319101033</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-10103-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-10103-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932047072</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043208738</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Gentzen's centenary</subfield><subfield code="b">the quest for consistency</subfield><subfield code="c">Reinhard Kahle, Michael Rathjen, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (X, 561 p. 23 illus)</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="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahle, Reinhard</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)123216826</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rathjen, Michael</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-10102-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-10103-3</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=028631898&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=028631898&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="940" ind1="1" ind2=" "><subfield code="q">UBY_PDA_SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028631898</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10103-3</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-10103-3</subfield><subfield code="l">DE-861</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-10103-3</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-10103-3</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-10103-3</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-10103-3</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-10103-3</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> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043208738 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-03T17:41:49Z |
| institution | BVB |
| isbn | 9783319101033 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028631898 |
| oclc_num | 932047072 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| physical | 1 Online Ressource (X, 561 p. 23 illus) |
| psigel | ZDB-2-SMA UBY_PDA_SMA ZDB-2-SMA_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Gentzen's centenary the quest for consistency Mathematics Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik |
| subject_GND | (DE-588)4143413-4 |
| title | Gentzen's centenary the quest for consistency |
| title_auth | Gentzen's centenary the quest for consistency |
| title_exact_search | Gentzen's centenary the quest for consistency |
| title_full | Gentzen's centenary the quest for consistency Reinhard Kahle, Michael Rathjen, editors |
| title_fullStr | Gentzen's centenary the quest for consistency Reinhard Kahle, Michael Rathjen, editors |
| title_full_unstemmed | Gentzen's centenary the quest for consistency Reinhard Kahle, Michael Rathjen, editors |
| title_short | Gentzen's centenary |
| title_sort | gentzen s centenary the quest for consistency |
| title_sub | the quest for consistency |
| topic | Mathematics Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik |
| topic_facet | Mathematics Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik Aufsatzsammlung |
| url | https://doi.org/10.1007/978-3-319-10103-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028631898&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=028631898&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kahlereinhard gentzenscentenarythequestforconsistency AT rathjenmichael gentzenscentenarythequestforconsistency |