product iamge

The Collected Papers of Gerhard Gentzen

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): M.E. Szabo (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 55
Publisher: Elsevier Science
Year: 1969

Language: English
Pages: ii-viii, 1-338

Content:
Advisory Editorial Board
Page ii

Edited by
Page iii

Copyright page
Page iv

Acknowledgments
Page v

Bibliography
Page vi

Biographical Sketch
Pages vii-viii

Introduction
Pages 1-23
M.E.S.

Notes to the Introduction
Pages 24-28

1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems
Pages 29-52

2. On the Relation Between Intuitionist and Classical Arithmetic
Pages 53-67

3. Investigations into Logical Deduction
Pages 68-131

4. The Consistency of Elementary Number Theory
Pages 132-213

5. The Consistency of the Simple Theory of Types
Pages 214-222

6. The Concept of Infinity in Mathematics
Pages 223-233

7. The Present State of Research into the Foundations of Mathematics
Pages 234-251

8. New Version of the Consistency Proof for Elementary Number Theory
Pages 252-286

9. Provability and Nonprovability of Restricted Transfinite Induction in Elementary Number Theory
Pages 287-308

10. Fusion of Several Complete Inductions
Pages 309-311

Notes
Pages 312-317

Glossary
Pages 318-320

Index of Symbols
Page 321

Index of Authors
Pages 322-323

Index of Subjects
Pages 324-338