3 options
Proof, logic, and formalization / edited by Michael Detlefsen.
- Format:
- Book
- Language:
- English
- Subjects (All):
- Proof theory.
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (118 p.)
- Edition:
- 1st ed.
- Place of Publication:
- London ; New York : Routledge, 1992.
- Language Note:
- English
- Summary:
- A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
- Contents:
- BOOK COVER; HALF-TITLE; TITLE; COPYRIGHT; DEDICATION; CONTENTS; NOTES ON CONTRIBUTORS; PREFACE; 1 PROOFS ABOUT PROOFS A DEFENSE OF CLASSICAL LOGIC; 2 PROOFS AND EPISTEMIC STRUCTURE; 3 WHAT IS A PROOF?; 4 HOW TO SAY THINGS WITH FORMALISMS; 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE ?-RULE; 6 THE IMPREDICATIVITY OF INDUCTION; 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES; 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GÖDEL'S FIRST INCOMPLETENESS THEOREM; INDEX
- Notes:
- Description based upon print version of record.
- Includes bibliographical references and index.
- Description based on metadata supplied by the publisher and other sources.
- ISBN:
- 1-134-97527-9
- 1-134-97528-7
- 1-280-10986-6
- 9786610109869
- 0-203-98025-5
- 9780203980255
- OCLC:
- 475959706
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.