Gentzen's centenary: the quest for consistency
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer
[2015]
|
| Subjects: | |
| Online Access: | BTU01 FRO01 TUM01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online Ressource (X, 561 p. 23 illus) |
| ISBN: | 9783319101033 |
| DOI: | 10.1007/978-3-319-10103-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043208738 | ||
| 003 | DE-604 | ||
| 005 | 20200929 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028631898 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10103-3 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804175706599456768 |
|---|---|
| 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>02703nmm 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 |||| o||u| ||||||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="999" ind1=" " 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">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-10103-3</subfield><subfield code="l">FRO01</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">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-10103-3</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-10103-3</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-10103-3</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-10103-3</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> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043208738 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:33Z |
| 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 |
| spelling | Gentzen's centenary the quest for consistency Reinhard Kahle, Michael Rathjen, editors Cham Springer [2015] © 2015 1 Online Ressource (X, 561 p. 23 illus) txt rdacontent c rdamedia cr rdacarrier Mathematics Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik (DE-588)4143413-4 Aufsatzsammlung gnd-content Kahle, Reinhard 1967- (DE-588)123216826 edt Rathjen, Michael edt Erscheint auch als Druckausgabe 978-3-319-10102-6 https://doi.org/10.1007/978-3-319-10103-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf 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 Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf 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 Abstract |
| 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 |