Verfügbarkeit: Gentzen's centenary

Gentzen's centenary: the quest for consistency

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Kahle, Reinhard 1967- (HerausgeberIn), Rathjen, Michael (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2015]
Schlagworte:	Mathematics Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik Aufsatzsammlung
Online-Zugang:	BTU01 FRO01 TUM01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online Ressource (X, 561 p. 23 illus)
ISBN:	9783319101033
DOI:	10.1007/978-3-319-10103-3

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge